Coq
-
Courses & Tutorials
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…
Read More »
Awesome Coq A curated list of awesome Coq libraries, plugins, tools, and resources. The Coq proof assistant provides a formal…
Read More »