Supporting no purge of algebraic universes#585

Open

CohenCyril wants to merge 12 commits intoLPCIC:masterfrom

CohenCyril:strat

Commits on Feb 8, 2024

:sparkles: Add coq.univ.super

ecranceMERCE
authored and
gares
committed
:boom: Algebraic universes not purged anymore

ecranceMERCE
authored and
gares
committed
wip

CohenCyril
authored and
gares
committed
wip

CohenCyril
authored and
gares
committed
wip
gares
committed

Commits on Feb 9, 2024

wip
gares
committed
silence
gares
committed
Update tests/test_API_env.v
gares
authored

Commits on Feb 12, 2024