4 ms·
cubical Agda : https://github.com/agda/cubical https://github.com/agda/cubical is also worth mentioning int this context
by m_j_g 5y ago
cubical Agda : https://github.com/agda/cubical https://github.com/agda/cubical
is also worth mentioning int this context