Tricks you wish the Coq manual told you [maintainer=@tchajed]

FSCQ is a certified file system written and proven in Coq

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Lecture notes for a short course on proving/programming in Coq via SSReflect.

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

A minimalistic blockchain consensus implemented and verified in Coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

Coq Lecture Notes (WIP)

Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

Intermediate Memory Model (IMM) and compilation correctness proofs for it

State-Transition Systems for Smart Contracts

Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).