Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
https://github.com/h2-math/coq-nahas-tutorial
coq interactive-theorem-proving logic math proof-assistant
Last synced: 6 days ago
JSON representation
Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v
- Host: GitHub
- URL: https://github.com/h2-math/coq-nahas-tutorial
- Owner: h2-math
- Created: 2023-01-14T23:44:13.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2025-01-15T08:04:46.000Z (7 days ago)
- Last Synced: 2025-01-15T10:04:48.536Z (7 days ago)
- Topics: coq, interactive-theorem-proving, logic, math, proof-assistant
- Language: HTML
- Homepage:
- Size: 209 KB
- Stars: 0
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files: