Other tutorials

Introduction to Coq

Specific techniques

Warning: the rest of this page may contain deprecated information.

Tips

Ltac tactics

OCaml tactics

Cocorico: Other Coq Resources (last edited 02-09-2015 17:46:01 by HugoHerbelin)

Cocorico!WikiLicense