NeuralLyapunov.jl v0.0.2

NeuralLyapunov.jl is a library for searching for neural Lyapunov functions by setting up a NeuralPDE.jl PDESystem.

In v0.0.2, dynamics now are expected to be defined as $\frac{dx}{dt} = f(x,p,t)$ rather than $\frac{dx}{dt} = f(x)$. This adds greater consistency with DifferentialEquations.jl and allows for parameterization of the dynamics. Since there is still no support for time-varying Lyapunov functions, the ODE must be autonomous and only t = 0.0 will be used.