Quint

Download Quint Studio

Install it, then sign in with your Quint account.

Install with one command
sh -c "$(curl -fsSL https://studio.quint.sh/install.sh)"

Works on macOS and Linux. On Linux it installs the AppImage.

Or download the binaries directly
macOSApple silicon (.dmg)Intel (.dmg)
LinuxAppImage (x86_64)Debian, Ubuntu (.deb)Fedora, RHEL, openSUSE (.rpm)

No account yet? Create one for free. New to Studio? The onboarding guide walks you through setting it up from your terminal.

Download Quint Studio