1 comments

  • ktpsns 24 minutes 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.