Quint LLM Kit for writing and using formal specificationsgithub.com/informalsystems11 pointsbugarela4 months ago