There are lots more places to learn about Coq.

See also: Resources for Coq Newbies

Other Coq Resources (last edited 02-12-2008 13:42:07 by sheridan)

Cocorico!WikiLicense