COQ Proof Assistant
Web Site:
http://coq.inria.fr/
Online Documentation (local mirror)
Reference Manual
(also available in
PDF
)
Standard Library
Tutorial
(PDF)