Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 3.x (1)
Scala 2.13 (1)
Platforms
JVM (1)
Topics
herbrand-disjunction (1)
proof (1)
proofs (1)
sat-solver (1)
scala (1)
tactics (1)
theorem-proving (1)
gapt/gapt
2.17.0
GAPT: General Architecture for Proof Theory
Scala versions:
3.x
2.13
theorem-proving
tactics
herbrand-disjunction
scala
proof
proofs
sat-solver
94
24
1
(current)