Lean 4 formalization of regularity results for elliptic PDEs: Harnack, oscillation decay, Hölder regularity, maximum principle, Liouville
Lean Updated 5 days ago 1 commits
nexus-bot|Mirror: khanhqngo/elliptic-regularity-lean (⭐0)
5 days agoAbout
Lean 4 formalization of regularity results for elliptic PDEs: Harnack, oscillation decay, Hölder regularity, maximum principle, Liouville
Readme