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

Published 20 hours ago • verified publisher icon UniMath

Refactoring positive integers

Open malarbol opened this issue 11 months ago • 15 comments

WIP https://github.com/UniMath/agda-unimath/issues/1043

malarbol avatar Mar 06 '24 23:03 malarbol