Awesome Scala
Login
siddhartha-gadgil
/
provingground
0.1.1
MIT License
Website
GitHub
Proving Ground: Tools for Automated Mathematics
homotopy
scala
theorem-proving
Scala versions:
2.13
2.12
Project
2 Versions
Badges
provingground-core-jvm
provingground-mantle
2.13
Show pre-release versions
Scala 2.13
Clear all filters
1
version found for
provingground-core-jvm
0.1.1
3 years ago
MIT
JVM:
2.13