io.github.siddhartha-gadgil:provingground-core-jvm_2.13 (maven): Automated theorem proving through learning in HoTT
Keywords: homotopy|scala|theorem-proving