MAP/i - Foundations of Computing
Option I: Program Semantics, Verification, and Construction
Login
|
Register
|
Print
MAP/i
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