siddhartha-gadgil / provingground 0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

Scala versions: 2.13

Found 2 artifacts

provingground-core-jvm 0.1.1

4 years ago
MIT

JVM:

2.13

provingground-mantle 0.1.1

4 years ago
MIT

JVM:

2.13