Open Issues Need Help
View All on GitHub Formalize input-to-state stability (ISS) 18 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 18 days 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. 18 days 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 18 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