Skip to content

chore(AlgebraicTopology): refactor proofs where grind? fails#40023

Open
chenson2018 wants to merge 2 commits into
leanprover-community:masterfrom
chenson2018:AlgebraicTopology-verify-grind-only
Open

chore(AlgebraicTopology): refactor proofs where grind? fails#40023
chenson2018 wants to merge 2 commits into
leanprover-community:masterfrom
chenson2018:AlgebraicTopology-verify-grind-only

rm an unused set_option

7cf290f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded May 29, 2026 in 1m 23s