Home » io.github » siddhartha-gadgil

Group: GitHub Siddhartha Gadgil
Sort by:Popular▼

1.Provingground Core JVM1 usages

io.github.siddhartha-gadgil » provingground-core-jvm MIT

Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020

2.Provingground Mantle

io.github.siddhartha-gadgil » provingground-mantle MIT

Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020