siddhartha-gadgil / provingground   0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

Scala versions: 2.13

provingground-core-jvm

Found 1 version
0.1.1
4 years ago
MIT
JVM:
2.13