2 search results for "author:"François Pottier <francois.pottier@inria.fr>""

Showing 1 - 2
  1. rocq-listz

    No documentation

    A Rocq library of lists with indices in Z
    date:2026-04-17 logpath:listz
    François Pottier <francois.pottier@inria.fr>
    20260417
    LGPL-2.1-only
    Used by 1 other packages
    17 Apr 2026
  2. rocq-marble

    No documentation

    Data structures based on machine integers and primitive arrays
    date:2026-04-21 logpath:marble
    François Pottier <francois.pottier@inria.fr>
    20260421
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2026