Skip to content

Avoid clashes of generated declarations and Lean 4#4742

Open
JuanCoRo wants to merge 3 commits into
developfrom
clashing-names
Open

Avoid clashes of generated declarations and Lean 4#4742
JuanCoRo wants to merge 3 commits into
developfrom
clashing-names

cleanup

9074215
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs