chore: split T% elaborator into its own file and move to Topology#35178
Open
grunweg wants to merge 32 commits intoleanprover-community:masterfrom
Open
chore: split T% elaborator into its own file and move to Topology#35178grunweg wants to merge 32 commits intoleanprover-community:masterfrom
T% elaborator into its own file and move to Topology#35178grunweg wants to merge 32 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 29, 2026
Commits on Jan 31, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
