Skip to content

Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness of the tiling polynomials - #1999

Closed
PerAlexandersson wants to merge 1 commit into
mainfrom
formalize/ferrers-tilings
Closed

PerAlexandersson wants to merge 1 commit into
mainfrom
formalize/ferrers-tilings

Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness res…

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

Annotations

1 warning
comparator
succeeded Oct 22, 2026 in 6m 27s