AnandGokhale/LeanForControl
The intent of this repository is to build a database of control theoretic proofs in lean.
GitHub repository with 26 stars and 6 forks.
Language: Lean
Topics: control-theory, formal-verification, lean4, lyapunov-stability, mathlib, mathlib4, theorem-proving