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: 3 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-07-24T14:13:26.000Z (3 months ago)
• Last Synced: 2024-07-25T14:43:31.161Z (3 months ago)
• Topics: herbrand-disjunction, proof, proofs, sat-solver, scala, tactics, theorem-proving
• Language: Scala
• Homepage: https://logic.at/gapt/
• Size: 181 MB
• Stars: 92
• Watchers: 12
• Forks: 18
• Open Issues: 44
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project