https://github.com/dmxlarchey/introduction-to-coq

Introduction to the Coq proof assistant
https://github.com/dmxlarchey/introduction-to-coq

Last synced: 3 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 (over 4 years ago)
• Default Branch: PDA-2022
• Last Pushed: 2022-04-05T13:51:56.000Z (almost 3 years ago)
• Last Synced: 2023-03-24T07:43:20.277Z (almost 2 years ago)
• Language: Coq
• Size: 1.6 MB
• Stars: 4
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project