Indexed Artifacts (29.9M)

Popular Categories

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