I 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+?
What are you doing with it? Any write up?
data pipelines and data repair.