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: 01 Mar 2025
https://github.com/LPCIC/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 07 Dec 2024
https://github.com/lpcic/coq-elpi
Coq plugin embedding elpi
coq extension-language lambda-prolog metaprogramming scripting
Last synced: 12 Apr 2025
https://github.com/lpcic/matita
Matita (proof assistant) with embedded elpi
Last synced: 02 May 2025