Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by h2-math
A curated list of projects in awesome lists by h2-math .
https://github.com/h2-math/coq-nahas-tutorial
Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v
coq interactive-theorem-proving logic math proof-assistant
Last synced: 16 Jan 2025
