Show HN: quint-audit - deterministic spec-quality auditor for Quint (OCaml)(github.com)
2 pointsby phillc733 hours ago1 comment