https://github.com/kiranandcode/coq-projects

Haskell? More like not-prooved-well! Got-em!
https://github.com/kiranandcode/coq-projects

Last synced: 26 days ago
JSON representation

Haskell? More like not-prooved-well! Got-em!

• Host: GitHub
• URL: https://github.com/kiranandcode/coq-projects
• Owner: kiranandcode
• Created: 2018-02-15T20:09:31.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-06-27T20:40:13.000Z (over 6 years ago)
• Last Synced: 2024-07-20T19:13:03.474Z (4 months ago)
• Language: Coq
• Size: 34.2 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project