Awesome Scala
Login
gapt
/
gapt
2.16.0
GNU General Public License v3.0 only
Website
GitHub
GAPT: General Architecture for Proof Theory
sat-solver
scala
herbrand-disjunction
proofs
theorem-proving
tactics
proof
Scala versions:
2.13
2.12
2.11
Project
15 Versions
Badges
gapt
gapt-examples
2.13
2.12
2.11
Show pre-release versions
14
versions found for
gapt-examples
2.16.0
1 year ago
GPL-3.0
JVM:
2.13
2.15.4
1 year ago
GPL-3.0
JVM:
2.13
2.12
5 years ago
GPL-3.0
JVM:
2.12
2.11
5 years ago
GPL-3.0
JVM:
2.12
2.10
6 years ago
GPL-3.0
JVM:
2.12
2.9
6 years ago
GPL-3.0
JVM:
2.12
2.8
6 years ago
GPL-3.0
JVM:
2.12
2.7
6 years ago
GPL-3.0
JVM:
2.12
2.6
7 years ago
GPL-3.0
JVM:
2.12
2.5
7 years ago
GPL-3.0
JVM:
2.12
2.4
7 years ago
GPL-3.0
JVM:
2.12
2.3
7 years ago
GPL-3.0
JVM:
2.11
2.2
7 years ago
GPL-3.0
JVM:
2.11
2.1
8 years ago
GPL-3.0
JVM:
2.11