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 EgbertRijke opened this issue 6 months ago • 0 comments

This draft PR contains some very preliminary joint work with Emily, Tim, and Jonathan

EgbertRijke avatar Apr 02 '25 18:04 EgbertRijke