The Coq Proof Assistant, version 7.4 edition (2003)

by INRIA