alt Hacker NewsI found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.
I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.
What are the downsides as compared to TLA+?