https://github.com/phase/learning-coq

Test documents while learning how to use Coq
https://github.com/phase/learning-coq

coq

Last synced: about 2 months ago
JSON representation

Test documents while learning how to use Coq

• Host: GitHub
• URL: https://github.com/phase/learning-coq
• Owner: phase
• License: mit
• Created: 2018-11-26T18:50:06.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2018-11-27T04:03:35.000Z (about 6 years ago)
• Last Synced: 2024-10-14T15:09:28.398Z (3 months ago)
• Topics: coq
• Language: Coq
• Homepage:
• Size: 5.86 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project