-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#12 In AnandGokhale/LeanForControl;
Formalize input-to-state stability (ISS)
help wantedExtra attention is neededExtra attention is neededStatus: Open.#11 In AnandGokhale/LeanForControl;- Status: Open.#10 In AnandGokhale/LeanForControl;
Prove the indirect method of Lyapunov (linearization)
help wantedExtra attention is neededExtra attention is neededStatus: Open.#9 In AnandGokhale/LeanForControl;Prove Chetaev's instability theorem
help wantedExtra attention is neededExtra attention is neededStatus: Open.#8 In AnandGokhale/LeanForControl;Fix the three long-line linter warnings, at DiniDeriv.lean:439, :453 and ODE_properties.lean:88.
good first issueGood for newcomersGood for newcomersStatus: Open.#7 In AnandGokhale/LeanForControl;