Coq: fix naming scheme#1573

Draft

W95Psp wants to merge 10 commits intomainfrom

coq-naming-1553

Commits on Jul 25, 2025

Update
cmester0
committed
(partial) Fix
cmester0
committed

Commits on Jul 28, 2025

Merge pull request #1581 from cmester0/coq-naming-1553
W95Psp
authored

Commits on Aug 14, 2025

Merge branch 'main' into coq-naming-1553
W95Psp
authored