https://github.com/brendanzab/agda-logic-playground

Messing around with propositional logic in Agda
https://github.com/brendanzab/agda-logic-playground

agda dependent-types mathematics proofs propositional-logic

Last synced: 15 days ago
JSON representation

Messing around with propositional logic in Agda

• Host: GitHub
• URL: https://github.com/brendanzab/agda-logic-playground
• Owner: brendanzab
• Created: 2016-11-11T23:28:48.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-11-11T23:51:37.000Z (about 8 years ago)
• Last Synced: 2024-11-19T02:34:25.426Z (3 months ago)
• Topics: agda, dependent-types, mathematics, proofs, propositional-logic
• Language: Agda
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project