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

Published 20 hours ago • verified publisher icon UniMath

Rebrand from "1000plus" to "Wikipedia's list of theorems"

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

fredrik-bakke avatar Mar 01 '25 15:03 fredrik-bakke