https://github.com/jonaprieto/agda-metis

Metis Prover Reasoning for Propositional Logic in Agda
https://github.com/jonaprieto/agda-metis

agda agda-library agda-metis metis-atp theorem-proving type-theory

Last synced: about 1 month ago
JSON representation

Metis Prover Reasoning for Propositional Logic in Agda

• Host: GitHub
• URL: https://github.com/jonaprieto/agda-metis
• Owner: jonaprieto
• License: mit
• Created: 2017-03-14T16:45:50.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-10-03T09:36:49.000Z (over 6 years ago)
• Last Synced: 2024-10-30T23:40:45.462Z (3 months ago)
• Topics: agda, agda-library, agda-metis, metis-atp, theorem-proving, type-theory
• Language: Agda
• Homepage: https://jonaprieto.github.io/agda-metis/ATP.Metis.Rules.html
• Size: 765 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project