Formalization of Lyapunov's second method for stability

Stream: new members

[Bach Hoang]

Hi, I am a mathematics student learning about automated reasoning and control theory and I am learning Lean, concentrating on formalizing mathematical proofs.

I want to ask if, in the mathlib4, Lyapunov's second method for stability is formalized.

Thanks.

[Luigi Massacci]

There's not a lot of stuff about ODEs or dynamical systems in Mathlib, so I'm pretty sure the answer to your question is "No"