Skip to content

chore(how-to-contribute): remove portion about (re)moving declarations#849

Open
grunweg wants to merge 1 commit into
leanprover-community:lean4from
grunweg:remove-move
Open

chore(how-to-contribute): remove portion about (re)moving declarations#849
grunweg wants to merge 1 commit into
leanprover-community:lean4from
grunweg:remove-move

chore(how-to-contribute): remove portion about (re)moving declarations

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

Annotations

1 warning
run-script
succeeded May 22, 2026 in 6s