MTOCPL (2)

About Coq

Coq Scripts and exercises

Le projet

Voir ce fichier
Quelques définitions sur les pre-ordres

Conditions:

Note on Proof General

It may be useful to put in your emacs init-file the following instruction (to update according to where Proof General has been unpacked)
(load-file "/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el")
or
(load-file "/home/local/ProofGeneral/generic/proof-site.el")