coq-community/awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources…

rocq-community/awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources…

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

effectfully/sketches

A Haskell blog

coq/coq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language…

snu-sf/paco

A Coq library for parametric coinduction

mit-plv/fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

coq-community/coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]