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•about 3 hours ago
fair criticism. i’ve already started revising the README to make the assumptions, methodology, and limitations clearer.
Discussion (2 Comments)Read Original on HackerNews