An open API service indexing awesome lists of open source software.

https://github.com/lpcic/matita

Matita (proof assistant) with embedded elpi
https://github.com/lpcic/matita

Last synced: 28 days ago
JSON representation

Matita (proof assistant) with embedded elpi

Awesome Lists containing this project

README

        

To use Matita with embedded ELPI

*) run a matita script

in matita/matita/lib/* run "../../matita.opt" or "../../matitac.opt"
on the script, with the options below:

required:
-elpi the prolog kernel to use: NO, CSC, FG0, FG1

CSC is the ufficial kernel/elaborator for DALEFEST
FG0 and FG1 are experimental kernels/elaborators

optional:
-elpi-quiet turn off prolog informational prints
-elpi-cache turn on prolog query caching