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: 2 months 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 (over 3 years ago)
- Default Branch: main
- Last Pushed: 2025-01-15T23:26:08.000Z (over 1 year ago)
- Last Synced: 2025-03-06T01:47:24.381Z (over 1 year ago)
- Topics: coq, interactive-theorem-proving, logic, math, proof-assistant
- Language: HTML
- Homepage:
- Size: 216 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: