API Doc
Awesome Scala
Login
gapt
/
gapt
2.17.0
GNU General Public License v3.0 only
Website
GitHub
GAPT: General Architecture for Proof Theory
theorem-proving
herbrand-disjunction
tactics
proof
scala
sat-solver
proofs
Scala versions:
3.x
2.13
Project
Artifacts
Versions
Badges
3.x
2.13
2.12
2.11
gapt
gapt
gapt-examples
Found
1
version
2.17.0
4 months ago
GPL-3.0
JVM:
3.x
2.13