Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
provingground-core-jvm
Found 2 versions