A style guide for Coq

Visual Studio Code Extension and Language Server Protocol for Coq

We combat sloppy arguments in competitive programming and raise the standard of rigor

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

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]