quantify over universes in build iota#904
Open
patrick-nicodemus wants to merge 5 commits intoLPCIC:masterfrom
Open
quantify over universes in build iota#904patrick-nicodemus wants to merge 5 commits intoLPCIC:masterfrom
patrick-nicodemus wants to merge 5 commits intoLPCIC:masterfrom
Commits
Commits on Oct 12, 2025
- committed
Patrick Nicodemus
Commits on Oct 13, 2025
- committedPatrick Nicodemus
- committedPatrick Nicodemus
Commits on Oct 14, 2025
- committedPatrick Nicodemus
Commits on Oct 15, 2025
- committedPatrick Nicodemus