Formalizing Babuška theory, inf-sup stability, and finite element analysis foundations in Lean.
theorem-proving formalization functional-analysis finite-element-method lean4 babuska mixed-fem brezzi
-
Updated
Apr 26, 2026