Nonlinear dynamical systems & control theory🔗

This repository develops the mathematical foundations of nonlinear dynamical systems and control theory.

The code is hosted on Github and compiled with Lean 4.33.0.