https://github.com/rybla/coq-work

Various work I've done with the Coq proof assistant. Mostly just personal practice.
https://github.com/rybla/coq-work

Last synced: about 5 hours ago
JSON representation

Various work I've done with the Coq proof assistant. Mostly just personal practice.

• Host: GitHub
• URL: https://github.com/rybla/coq-work
• Owner: rybla
• Created: 2017-08-27T04:17:02.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-03-30T19:22:03.000Z (over 5 years ago)
• Last Synced: 2024-03-07T06:44:01.780Z (8 months ago)
• Language: Coq
• Homepage:
• Size: 1.79 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project