Skip to content

feat(Analysis/PDE): Total variation estimate for hyperbolic systems - #499

Open
jvanwinden wants to merge 9 commits into
leanprover:mainfrom
jvanwinden:viscous_shock
Open

feat(Analysis/PDE): Total variation estimate for hyperbolic systems#499
jvanwinden wants to merge 9 commits into
leanprover:mainfrom
jvanwinden:viscous_shock

Commits

Commits on Jul 31, 2026

Commits on Aug 3, 2026

  • author
    Joris van Winden
    committed

Commits on Aug 11, 2026

Commits on Aug 13, 2026

Commits on Aug 21, 2026