2 comments

  • ktpsns 15 hours ago ago

    Lyapunov sounds a good tool but the README reads so LLM-generated and with little love that I am not bothered to look further into whether this is solid or not.

    • visha1v 14 hours ago ago

      fair criticism. i’ve already started revising the README to make the assumptions, methodology, and limitations clearer.