Группа библиотек: 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

Последняя версия: 0.1.1

Дата: 19 сент. 2020 г.

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

Automated theorem proving through learning in HoTT

Последняя версия: 0.1.1

Дата: 19 сент. 2020 г.

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

Automated theorem proving through learning in HoTT

Последняя версия: 0.1.0

Дата: 22 мар. 2019 г.

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

Automated theorem proving through learning in HoTT

Последняя версия: 0.1.0

Дата: 21 мар. 2019 г.