I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.

oa335 4 hours ago | parent | next [-]

What are the downsides as compared to TLA+?

esafak 5 hours ago | parent | prev [-]

What are you doing with it? Any write up?

	▲	arpinum 5 hours ago \| parent [-]
		data pipelines and data repair.