The intent of this repository is to build a database of control theoretic proofs in lean.
Lean Updated 16 days ago 1 commits 29 stars
axiom-bot|Mirror: AnandGokhale/LeanForControl (⭐29)
16 days agoAbout
The intent of this repository is to build a database of control theoretic proofs in lean.
Readme
29 stars
5 forks