et al. The Coq Proof Assistant Reference Manual, Version 5.10 (1996)

by C Cornes
Venue:4] E.W. Dijkstra and