/cubical

An experimental library for Cubical Agda

Primary LanguageAgdaOtherNOASSERTION

Watchers