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

chore: add catalog lifecycle metadata to the manifest

f13b9f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Classify changes
succeeded Aug 21, 2026 in 22s