3 search results for "author:"francois.pottier@inria.fr""

Showing 1 - 3
  1. coq-dblib

    No documentation

    Dblib
    keyword: abstract syntax keyword: binders keyword: de Bruijn indices keyword: shift keyword: lift keyword: substitution category: Computer Science/Lambda Calculi
    Francois Pottier <francois.pottier@inria.fr> [http://gallium.inria.fr/~fpottier/]
    8.8.0
    GPL
    Used by 0 other packages
    06 Feb 2019
  2. 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
  3. 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