Formal proofs for Lyapunov stability theorems in exact real arithmetic | IEEE Conference Publication | IEEE Xplore