PerAlexandersson

PerAlexandersson/RealRooted

Experimental Lean 4 library for real-rooted polynomials and interlacing

3 stars 2 forks 3 watchers Lean Apache License 2.0

combinatorics lean polynomials proof proof-assistant sequences-analysis

View on GitHub Website

1 Open Issue Need Help Last updated: Sep 6, 2026

Open Issues Need Help

View All on GitHub

Formalize peak-value stability and weighted interleaving (A008303) 17 days ago

enhancement help wanted application

PerAlexandersson/RealRooted

3

Experimental Lean 4 library for real-rooted polynomials and interlacing

Lean

#combinatorics#lean#polynomials#proof#proof-assistant#sequences-analysis