Compilation et execution

pour (re)compiler, lancer

make

pour executer le programme, lancer

./pieuvre

pour lancer la batterie de tests:

./tests.sh
Description
Assistant de preuve
Readme 982 KiB
Languages
OCaml 63.7%
TeX 31.6%
Roff 2.2%
Shell 2%
Makefile 0.4%