Quint LLM Kit for writing and using formal specificationsgithub.com11 points·bugarela··0 commentsOpen articleSaveView on HN