Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
1
version found for
provingground-mantle