feat: the global syntax linter#34024
Open
adomani wants to merge 10 commits intoleanprover-community:masterfrom
Open
feat: the global syntax linter#34024adomani wants to merge 10 commits intoleanprover-community:masterfrom
adomani wants to merge 10 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 16, 2026
- committed
- committed
- authored
- committed
- committed
- committed
- committed
