Group: GitHub Siddhartha Gadgil
Sort:
popular
|
newest
1. Provingground Core JVM1 usages
io.github.siddhartha-gadgil » provingground-core-jvmMIT
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020
2. Provingground Mantle
io.github.siddhartha-gadgil » provingground-mantleMIT
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020