Skip to content

chore(Topology): refactor proofs where grind? fails#39769

Open
chenson2018 wants to merge 1 commit into
leanprover-community:masterfrom
chenson2018:topology-verify-grind-only
Open

chore(Topology): refactor proofs where grind? fails#39769
chenson2018 wants to merge 1 commit into
leanprover-community:masterfrom
chenson2018:topology-verify-grind-only

chore(Topology): squeeze when grind? fails

b9d8d95
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded May 24, 2026 in 7s