agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Experiment: depostulating univalence

Open EgbertRijke opened this issue 11 months ago • 3 comments

This is an experiment

The motivation for this PR is merely that I am curious what the library will look like if we wouldn't have postulates.

This pull request is not to be considered for merging.

EgbertRijke avatar Mar 22 '24 19:03 EgbertRijke