Login
1 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Jvm (1)
Scala
2.12 (1)
2.13 (1)
Topics
homotopy (1)
scala (1)
theorem-proving (1)
siddhartha-gadgil/provingground
Proving Ground: Tools for Automated Mathematics
Scala (JVM):
2.12
2.13
scala
homotopy
theorem-proving
164
35
10
1
(current)
