siddhartha-gadgil / provingground   0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

Scala versions: 2.12 2.13
2 versions found for provingground-core-jvm