Verified record · from the answer index

quint

clitested · static-verifiedscore 18/100signed passport ✓51 monthly downloads

Core tool for the Quint specification language

cli:brew:quint