Coq

Awesome Coq – Massive Collection of Resources

Awesome Coq A curated list of awesome Coq libraries, plugins, tools, and resources. The Coq proof assistant provides a formal…