Projects in Awesome Lists by LPCIC
A curated list of projects in awesome lists by LPCIC .
https://github.com/lpcic/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 24 Apr 2026
https://github.com/LPCIC/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 03 Aug 2025
https://github.com/lpcic/coq-elpi
Coq plugin embedding elpi
coq extension-language lambda-prolog metaprogramming scripting
Last synced: 06 Mar 2026
https://github.com/lpcic/matita
Matita (proof assistant) with embedded elpi
Last synced: 02 May 2025