/cubical-experiments

Experiments towards non-standard analysis in cubical Agda

Primary LanguageAgdaMIT LicenseMIT

Watchers