Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Platforms
JVM (1)
Topics
homotopy (1)
scala (1)
theorem-proving (1)
siddhartha-gadgil/provingground
0.1.1
Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
homotopy
scala
theorem-proving
203
10
1
(current)