Project Group: io.github.siddhartha-gadgil

provingground-core-jvm_2.13

io.github.siddhartha-gadgil : provingground-core-jvm_2.13

Automated theorem proving through learning in HoTT

Last Version: 0.1.1

Release Date: Sep 19, 2020

io.github.siddhartha-gadgil : provingground-mantle_2.13

Automated theorem proving through learning in HoTT

Last Version: 0.1.1

Release Date: Sep 19, 2020

io.github.siddhartha-gadgil : provingground-mantle_2.12

Automated theorem proving through learning in HoTT

Last Version: 0.1.0

Release Date: Mar 22, 2019

io.github.siddhartha-gadgil : provingground-core-jvm_2.12

Automated theorem proving through learning in HoTT

Last Version: 0.1.0

Release Date: Mar 21, 2019