Open Issues Need Help
View All on GitHub Formalize input-to-state stability (ISS) 19 days ago
help wanted
The intent of this repository is to build a database of control theoretic proofs in lean.
Lean
#control-theory#formal-verification#lean4#lyapunov-stability#mathlib#mathlib4#theorem-proving
Backfill `Reference:` lines across the codebase 2 months ago
good first issue
The intent of this repository is to build a database of control theoretic proofs in lean.
Lean
#control-theory#formal-verification#lean4#lyapunov-stability#mathlib#mathlib4#theorem-proving
Fix the three long-line linter warnings, at DiniDeriv.lean:439, :453 and ODE_properties.lean:88. 2 months ago
good first issue
The intent of this repository is to build a database of control theoretic proofs in lean.
Lean
#control-theory#formal-verification#lean4#lyapunov-stability#mathlib#mathlib4#theorem-proving
help wanted
The intent of this repository is to build a database of control theoretic proofs in lean.
Lean
#control-theory#formal-verification#lean4#lyapunov-stability#mathlib#mathlib4#theorem-proving
Prove Chetaev's instability theorem 2 months ago
help wanted
The intent of this repository is to build a database of control theoretic proofs in lean.
Lean
#control-theory#formal-verification#lean4#lyapunov-stability#mathlib#mathlib4#theorem-proving