https://github.com/sleexyz/coq-fun

fun with coq
https://github.com/sleexyz/coq-fun

Last synced: 1 day ago
JSON representation

fun with coq

• Host: GitHub
• URL: https://github.com/sleexyz/coq-fun
• Owner: sleexyz
• Created: 2016-08-16T05:22:42.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-09-15T07:29:55.000Z (about 8 years ago)
• Last Synced: 2024-04-14T11:22:34.544Z (7 months ago)
• Language: Coq
• Homepage:
• Size: 2.93 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project