Références

1

P. Borras et al. Centaur: the System. In SIGSOFT'88 Third Annual Symposium on Software Development Environments, Boston, 1988. ftp://ftp-sop.inria.fr/pub/centaur/papers/sde3.ps.

2

G. Huet, G. Kahn, and C. Paulin-Mohring. The Coq Proof Assistant - A tutorial. Technical report, INRIA, 1997.

3

D. Terrasse. Encoding Natural Semantics in Coq. In In Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology, volume LNCS 936. Springer-Verlag, 1995. ftp://ftp-sop.inria.fr/pub/croap/terrasse/amast95.ps.