https://github.com/typicalmath/prop-calc

Propositional Calculus in Coq by Floris van Doorn
https://github.com/typicalmath/prop-calc

coq logic

Last synced: 8 days ago
JSON representation

Propositional Calculus in Coq by Floris van Doorn

• Host: GitHub
• URL: https://github.com/typicalmath/prop-calc
• Owner: TypicalMath
• Created: 2019-06-14T13:19:07.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-06-14T13:19:55.000Z (over 5 years ago)
• Last Synced: 2024-11-25T01:12:58.161Z (2 months ago)
• Topics: coq, logic
• Language: Coq
• Homepage: https://arxiv.org/abs/1503.08744
• Size: 11.7 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project