Koopman operator theory has gained attention for identifying nonlinear systems.New framework proposed to learn vector field and Lyapunov functions for unknown nonlinear systems.Algorithmic framework utilizes limited data sampled at low frequency.Learned Lyapunov functions can be formally verified and provide less conservative estimates of the region of attraction.