cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Algebraic geometry directory

Open mzeuner opened this issue 1 year ago • 0 comments

See https://github.com/agda/cubical/issues/1095

mzeuner avatar Feb 06 '24 16:02 mzeuner