A library for searching for neural Lyapunov functions in Julia. - View it on GitHub