https://github.com/vonavi/coq-examples

Coq examples
https://github.com/vonavi/coq-examples

coq

Last synced: 3 months ago
JSON representation

Coq examples

• Host: GitHub
• URL: https://github.com/vonavi/coq-examples
• Owner: vonavi
• Created: 2021-10-13T07:58:01.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-06-27T18:43:53.000Z (7 months ago)
• Last Synced: 2024-09-29T10:41:58.213Z (4 months ago)
• Topics: coq
• Language: Coq
• Homepage: https://vonavi.github.io/coq-examples
• Size: 4.7 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project