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

Published 20 hours ago • verified publisher icon UniMath

Expanding on the naming conventions

Open EgbertRijke opened this issue 2 years ago • 0 comments

EgbertRijke avatar Sep 21 '23 08:09 EgbertRijke