feat: better universe normalization#8769
Draft
arthur-adjedj wants to merge 5 commits intoleanprover:masterfrom
Draft
feat: better universe normalization#8769arthur-adjedj wants to merge 5 commits intoleanprover:masterfrom
arthur-adjedj wants to merge 5 commits intoleanprover:masterfrom
Commits
Commits on Jun 13, 2025
- committed
- committed
- committed
- committed
- committed
