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

Published 20 hours ago • verified publisher icon UniMath

Simplicial Type Theory

Open fredrik-bakke opened this issue 1 year ago • 1 comments

fredrik-bakke avatar Apr 18 '24 12:04 fredrik-bakke

Closing this until work is resumed.

fredrik-bakke avatar Feb 11 '25 14:02 fredrik-bakke