Skip to content

feat: shuffles, permuted lists and other prerequisites for combinatorics - #43779

Closed
SashaIr wants to merge 4 commits into
leanprover-community:masterfrom
SashaIr:coq-combi-01
Closed

feat: shuffles, permuted lists and other prerequisites for combinatorics#43779
SashaIr wants to merge 4 commits into
leanprover-community:masterfrom
SashaIr:coq-combi-01

PR01 - Cleanup

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

Annotations

1 error
check_title
failed Sep 13, 2026 in 1m 33s