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

Published 20 hours ago • verified publisher icon UniMath

Preview: depostulate axioms

Open fredrik-bakke opened this issue 8 months ago • 0 comments

Here's a preview of what the library might look like with depostulated axioms.

Depends on #1373

#1379

fredrik-bakke avatar Mar 24 '25 20:03 fredrik-bakke