PerAlexandersson

PerAlexandersson/RealRooted

Experimental Lean 4 library for real-rooted polynomials and interlacing

1 good first / help-wanted issue · Lean · last activity Sep 6, 2026

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) about 2 months 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