Indexed Artifacts (29.9M)

Popular Categories

Automated theorem proving through learning in HoTT

LicenseMIT
Tagsjvmgithub
Ranking#284566 in MvnRepository (See Top Artifacts)
Used By1 artifacts

VersionScalaVulnerabilitiesRepositoryUsagesDate
0.1.12.13
Central1Sep 19, 2020
0.1.02.12
Central1Mar 21, 2019