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