Skip to content

chore(Data/Seq/Computation): golf using grind#41611

Open
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:golf/data-seq-computation
Open

chore(Data/Seq/Computation): golf using grind#41611
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:golf/data-seq-computation

chore(Data/Seq/Computation): golf using `grind`

a0706e7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded Jul 11, 2026 in 5s