Indexed Artifacts (29.9M)

Popular Categories

Automated theorem proving through learning in HoTT

LicenseMIT
Tagsgithub
Ranking#316903 in MvnRepository (See Top Artifacts)

VersionScalaVulnerabilitiesRepositoryUsagesDate
0.1.12.13
Central 0 Sep 19, 2020
0.1.02.12
Central 0 Mar 30, 2019