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