https://github.com/tkmru/coq99
coq practice [Functional Programming Memo: [Coq] Coq-99 : Part 1](http://study-func-prog.blogspot.jp/2010/07/coq-coq-99-part-1.html)
https://github.com/tkmru/coq99
Last synced: 3 months ago
JSON representation
coq practice [Functional Programming Memo: [Coq] Coq-99 : Part 1](http://study-func-prog.blogspot.jp/2010/07/coq-coq-99-part-1.html)
- Host: GitHub
- URL: https://github.com/tkmru/coq99
- Owner: tkmru
- Created: 2017-01-04T00:33:50.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2017-01-05T13:03:03.000Z (almost 9 years ago)
- Last Synced: 2025-03-27T11:43:45.477Z (6 months ago)
- Language: Coq
- Size: 1000 Bytes
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files: