Skip to content

refactor(Phonology): tidy Tone/Constraints.lean docstring + variables#575

Merged
github-actions[bot] merged 6 commits into
mainfrom
tone-constraints-tidy
Jun 20, 2026
Merged

refactor(Phonology): tidy Tone/Constraints.lean docstring + variables#575
github-actions[bot] merged 6 commits into
mainfrom
tone-constraints-tidy

refactor(Phonology): mathlib-quality nits in Tone/Constraints.lean

e323878
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar