MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Login|Register|Print

Overview
Recommended Books
Syllabus and Course Material
Assessment

Education » MapiFc » WebHome » Documentation

COQ Proof Assistant

Web Site: http://coq.inria.fr/

Online Documentation (local mirror)

Reference Manual (also available in PDF)
Standard Library
Tutorial (PDF)

r1 - 23 Oct 2007 - 23:37:47 - JoseBacelarAlmeida

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM