Awesome Scala
Login
2 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 3.x (2)
Scala 2.13 (2)
Platforms
JVM (2)
Topics
constraint-programming (1)
herbrand-disjunction (1)
monotonic-refinement (1)
proof (1)
proofs (1)
propagators (1)
sat-solver (2)
scala (2)
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
tomasmikula/nutcracker
0.1.9
Problem solving à la carte
Scala versions:
3.x
2.13
monotonic-refinement
scala
constraint-programming
sat-solver
propagators
20
1
1
(current)