Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate. - View it on GitHub