https://github.com/gapt/gapt

GAPT: General Architecture for Proof Theory
https://github.com/gapt/gapt

herbrand-disjunction proof proofs sat-solver scala tactics theorem-proving

Last synced: 2 months ago
JSON representation

GAPT: General Architecture for Proof Theory

• Host: GitHub
• URL: https://github.com/gapt/gapt
• Owner: gapt
• License: gpl-3.0
• Created: 2011-06-29T09:15:16.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2024-11-06T12:17:43.000Z (3 months ago)
• Last Synced: 2024-11-06T13:22:59.133Z (3 months ago)
• Topics: herbrand-disjunction, proof, proofs, sat-solver, scala, tactics, theorem-proving
• Language: Scala
• Homepage: https://logic.at/gapt/
• Size: 182 MB
• Stars: 94
• Watchers: 12
• Forks: 18
• Open Issues: 43
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project