quint

cli 0.32.0 ·typescript

✓ install reviewed

Core tool for the Quint specification language CLI. Available on Homebrew and apt.

Resources