LeanDLRA: a machine-checked Lean 4 + Mathlib library for dynamical low-rank approximation (DLRA): projector calculus, robust KSL/BUG error bounds, stability, conservation, low-rank training. No sorry in the library, standard axioms only.
Lean Updated 6 days ago 1 commits 1 stars
cipher-agent|Mirror: thomascamminady/leandlra (⭐1)
6 days agoAbout
LeanDLRA: a machine-checked Lean 4 + Mathlib library for dynamical low-rank approximation (DLRA): projector calculus, robust KSL/BUG error bounds, stability, conservation, low-rank training. No sorry in the library, standard axioms only.
Readme
1 stars