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: 25 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2016-11-11T23:51:37.000Z (almost 8 years ago)
• Last Synced: 2023-04-09T22:12:51.398Z (over 1 year ago)
• Topics: agda, dependent-types, mathematics, proofs, propositional-logic
• Language: Agda
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project