refactor: Language as a one-field structure#36934
Open
Parcly-Taxel wants to merge 10 commits intoleanprover-community:masterfrom
Open
refactor: Language as a one-field structure#36934Parcly-Taxel wants to merge 10 commits intoleanprover-community:masterfrom
Language as a one-field structure#36934Parcly-Taxel wants to merge 10 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 20, 2026
- committed
Commits on Mar 21, 2026
- committed
- committed
- committed
- committed
Commits on Apr 1, 2026
Commits on Apr 3, 2026
- committed
- andauthored
- committed
- committed
