Coq
215 items from coq-community/awesome-coq ★396
-
Coq Package Index coq.inria.fr
Collection of Coq packages based on opam.
-
Coq Zulip chat archive coq.gitlab.io
-
Official Coq Discourse forum coq.discourse.group
-
Tactician coq-tactician.github.io
Interactive tool which learns from previously written tactic scripts across all the installed Coq packages and suggests the next tactic to be executed or tries to automate proof synthesis fully.
-
Coq Tactics in Plain English charlesaverill.github.io
Guide to Coq tactics with explanations and examples.
-
Foundations of Separation Logic chargueraud.org
Introduction to using separation logic to reason about sequential imperative programs in Coq.
-
Coq in a Hurry cel.archives-ouvertes.fr
Introduction to how Coq can be used to define logical concepts and functions and reason about them.
-
Lysxia's blog blog.poisson.chat
-
Certified Programming with Dependent Types adam.chlipala.net
Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.
