Awesome Scala
Login
gapt
/
gapt
2.16.0
Website
GitHub
GAPT: General Architecture for Proof Theory
sat-solver
herbrand-disjunction
theorem-proving
scala
tactics
proof
proofs
Project
15 Versions
Badges
gapt
gapt-examples
2.11
Show pre-release versions
Scala 2.11
Clear all filters
4
versions found for
gapt
2.3
5 years ago
GPL-3.0
JVM:
2.11
2.2
6 years ago
GPL-3.0
JVM:
2.11
2.1
6 years ago
GPL-3.0
JVM:
2.11
2.0
6 years ago
GPL-3.0
JVM:
2.11