Skip to content

feat(naming): update naming conventions for Prop-valued classes - #882

Merged
fpvandoorn merged 2 commits into
lean4from
IsHasNaming
Jul 17, 2026
Merged

feat(naming): update naming conventions for Prop-valued classes#882
fpvandoorn merged 2 commits into
lean4from
IsHasNaming

fix

5a8aa65
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar