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