https://github.com/s4ichi/coq_exercise

http://qnighy.github.io/coqex2014/
https://github.com/s4ichi/coq_exercise

Last synced: 13 days ago
JSON representation

http://qnighy.github.io/coqex2014/

• Host: GitHub
• URL: https://github.com/s4ichi/coq_exercise
• Owner: s4ichi
• Created: 2016-05-11T12:53:50.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-05-11T14:48:02.000Z (over 8 years ago)
• Last Synced: 2023-08-19T17:27:52.385Z (about 1 year ago)
• Language: Coq
• Size: 1000 Bytes
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project