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.12
Show pre-release versions
Scala 2.12
Clear all filters
1
version found for
provingground-mantle
0.1.0
5 years ago
MIT
JVM:
2.12