https://github.com/dmxlarchey/introduction-to-coq
Introduction to the Coq proof assistant
https://github.com/dmxlarchey/introduction-to-coq
Last synced: 4 months ago
JSON representation
Introduction to the Coq proof assistant
- Host: GitHub
- URL: https://github.com/dmxlarchey/introduction-to-coq
- Owner: DmxLarchey
- Created: 2020-04-29T12:57:37.000Z (about 5 years ago)
- Default Branch: PDA-2023
- Last Pushed: 2023-04-03T08:03:55.000Z (about 2 years ago)
- Last Synced: 2025-01-31T09:04:15.942Z (4 months ago)
- Language: Coq
- Size: 1.54 MB
- Stars: 6
- Watchers: 5
- Forks: 0
- Open Issues: 0