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