Skip to content

chore(RepresentationTheory/Coinduced): more tech debt - #43959

Open
JX-Mo wants to merge 4 commits into
leanprover-community:masterfrom
JX-Mo:resCoindTechDebt
Open

JX-Mo wants to merge 4 commits into
leanprover-community:masterfrom
JX-Mo:resCoindTechDebt

fix counit lint

8802092
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
post-or-update-summary-comment
succeeded Sep 19, 2026 in 1m 9s