Show HN: quint-audit - deterministic spec-quality auditor for Quint (OCaml)

 (github.com)

2 points | by phillc73 5 hours ago ago

1 comments