MTOCPL (2)
About Coq
Coq Scripts and exercises
Le projet
Voir ce fichier
Quelques définitions sur les pre-ordres
Conditions:
- 3 ou 4 personnes par groupe
- Tout groupe doit contenir au moins une personne avec une expérience en logique ou programmation fonctionnelle
- Rapport + développement à rendre avant les vacances
- Problèmes rencontrés et solutions adoptées
- Sources d'information
- Démos en Janvier
- La qualité du développement (lisibilité, généricité) sera
un critère d'évaluation important.
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")