Experiments towards non-standard analysis in cubical Agda
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.