4 search results for "author:"Enrico Tassi <enrico.tassi@inria.fr>""

Showing 1 - 4
  1. coq-elpi

    No documentation

    Compatibility metapackage for Elpi extension language after the Rocq renaming
    category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpi
    Enrico Tassi <enrico.tassi@inria.fr>
    3.4.0
    LGPL-2.1-or-later
    Used by 7 other packages
    19 May 2026
  2. rocq-elpi

    No documentation

    Elpi extension language for Coq
    category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpi
    Enrico Tassi <enrico.tassi@inria.fr>
    3.4.0
    LGPL-2.1-or-later
    Used by 5 other packages
    19 May 2026
  3. rocq-elpi-json

    No documentation

    Yojson bindings for rocq-elpi
    Enrico Tassi <enrico.tassi@inria.fr>
    3.4.0
    LGPL-2.1-or-later
    Used by 0 other packages
    19 May 2026
  4. rocq-elpi-xml

    No documentation

    Xml-light bindings for rocq-elpi
    Enrico Tassi <enrico.tassi@inria.fr>
    3.4.0
    LGPL-2.1-or-later
    Used by 0 other packages
    19 May 2026