1 search result for "author:"Francois Pottier <francois.pottier@inria.fr> [http://gallium.inria.fr/~fpottier/]""

Showing 1 - 1
  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