The Coq Proof Assistant Reference Manual. http://pauillac. inria.fr/coq/doc/main.html (2001)

by L’ Équipe Coq