LeanFun RevOLVER

a Revolving Orthogonal-polynomial Lean-Verified Expository Reference

Timon S. Gutleb

For offline reading, download the PDF version.