Login
2 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Jvm (2)
Scala
2.11 (1)
2.12 (2)
Topics
herbrand-disjunction (1)
homotopy (1)
proof (1)
proofs (1)
sat-solver (1)
scala (2)
tactics (1)
theorem-proving (2)
siddhartha-gadgil/provingground
Proving Ground: Tools for Automated Mathematics
Scala (JVM):
2.12
scala
homotopy
theorem-proving
119
23
6
gapt/gapt
GAPT: General Architecture for Proof Theory
Scala (JVM):
2.11
2.12
tactics
herbrand-disjunction
sat-solver
scala
proofs
theorem-proving
proof
40
14
22
1
(current)