et al., “The Coq Proof Assistant User’s Guide Version 5.6 (1991)

by G Dowek
Venue:INRIA, Rapport Technique 134