agda / cubical
git clone https://github.com/agda/cubical.git
An experimental library for Cubical Agda
+0
stars, 24h · #38,639
+~0
stars, 7 days · #38,713
+~0
stars, 30 days · #38,851
573
★ total
173
forks · 110 open issues
Star history (as recorded here)
LanguageAgda
License—
Created2018-10-15 (8y ago)
Last push14d ago
OwnerOrganization