Quint LLM Kit for writing and using formal specifications

11 points| bugarela | 11 days ago |github.com