cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Towards schemes of finite presentation without size issues

Open mzeuner opened this issue 1 year ago • 0 comments

Redoing the relevant parts of https://github.com/agda/cubical/pull/1068 for finitely presented algebras and this time without raising universe levels.

mzeuner avatar Nov 17 '23 16:11 mzeuner