Awesome Scala
Login
1 results
Sorting
Stars
Created
Forks
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.12 (1)
Scala 2.11 (1)
Platforms
JVM (1)
Topics
herbrand-disjunction (1)
proof (1)
proofs (1)
sat-solver (1)
scala (1)
tactics (1)
theorem-proving (1)
gapt/gapt
GAPT: General Architecture for Proof Theory
Scala Versions:
2.11
2.12
theorem-proving
tactics
herbrand-disjunction
scala
proof
proofs
sat-solver
82
16
23
1
(current)
