Indexed Artifacts (29.9M)

Popular Categories

Artifacts using Provingground Core JVM (1)

Sort: popular | newest
Automated theorem proving through learning in HoTT
Last Release on Sep 19, 2020