GitHub - mzp/coq-rubyTHE COQ V8.2 SYSTEM =================== INSTALLATION. ============= See the file INSTALL for installation procedure. DOCUMENTATION. ============== The documentation of Coq V8.2 is available online from the Coq web site (see http://coq.inria.fr) CHANGES. ======== There is a file named CHANGES that explains the differences and the incompatibilities since last versions. If you upgrade Coq, please rea
