Koopman-based Neural Lyapunov functions for general attractors Code for CDC2022 submission. Kindly email me at [email protected] for complete code or questions. Thanks! For full proofs, please see the preprint of the paper below. Link to paper: https://arxiv.org/pdf/2203.12303.pdf