https://github.com/whonore/funproofs

Short, fun proofs in Coq
https://github.com/whonore/funproofs

coq fun theorem-proving

Last synced: about 11 hours ago
JSON representation

Short, fun proofs in Coq

• Host: GitHub
• URL: https://github.com/whonore/funproofs
• Owner: whonore
• Created: 2019-07-11T20:48:19.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2022-03-24T19:35:54.000Z (over 2 years ago)
• Last Synced: 2024-03-19T07:28:31.971Z (8 months ago)
• Topics: coq, fun, theorem-proving
• Language: Coq
• Size: 99.6 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project