The Coq proof assistant on Twitter: "RT @intoverflow: Yep, you're looking at 🔌 async socket code 🐓 written in Coq 🌊 extracted to C 🏃♀️ running smoothly Shoutout to Chlipala'…" / Twitter
Introduction to the Coq proof-assistant for practical software verification
Coq Language | A Complete Guide to the Coq Language
visual studio code - How to activate the Coq messages in vscode/vscoq like in the CoqIde/jscoq? - Stack Overflow
Using Coq to Verify SPARK 2014 Code | The AdaCore Blog
Ask For Basic Commands For COQ - Miscellaneous - Coq
Installation of Coq - CS 3110 Fall 2018
How to use Coq with Proof General - YouTube
GitHub - ms-jpq/coq_nvim: Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.