Automated theorem proving through learning in HoTT

LicenseMIT
Tagsgithub
HomePage https://github.com/siddhartha-gadgil/ProvingGround
DateMar 30, 2019
Filesjar (185.0 MB)  View All
RepositoriesCentral
Ranking#323269 in MvnRepository (See Top Artifacts)
Scala TargetScala 2.12 (View all targets)
VulnerabilitiesVulnerabilities from dependencies:
CVE-2021-45105
CVE-2021-45046
CVE-2021-45046
View 6 more ...

Note: There is a new version for this artifact

New Version0.1.1


Developers

NameEmailDev IdRolesOrganization
Siddhartha Gadgilsiddhartha-gadgil