Awesome Scala
Login
gapt
/
gapt
2.15.4
Website
GitHub
GAPT: General Architecture for Proof Theory
theorem-proving
sat-solver
proof
tactics
herbrand-disjunction
proofs
scala
Project
14 Versions
Badges
gapt
gapt-examples
2.13
2.12
2.11
Show pre-release versions
13
versions found for
gapt-examples
2.15.4
29 days ago
GPL-3.0
JVM:
2.13
2.12
3 years ago
GPL-3.0
JVM:
2.12
2.11
4 years ago
GPL-3.0
JVM:
2.12
2.10
4 years ago
GPL-3.0
JVM:
2.12
2.9
4 years ago
GPL-3.0
JVM:
2.12
2.8
4 years ago
GPL-3.0
JVM:
2.12
2.7
4 years ago
GPL-3.0
JVM:
2.12
2.6
5 years ago
GPL-3.0
JVM:
2.12
2.5
5 years ago
GPL-3.0
JVM:
2.12
2.4
5 years ago
GPL-3.0
JVM:
2.12
2.3
5 years ago
GPL-3.0
JVM:
2.11
2.2
5 years ago
GPL-3.0
JVM:
2.11
2.1
6 years ago
GPL-3.0
JVM:
2.11