QuintHomeHomeDocumentationDocumentationCommunityCommunity
GitHubGitHub (opens in a new tab) (opens in a new tab)
  • Introduction
  • Getting Started
  • Language Manual
  • CLI Manual
  • Built-in Operators
  • Tool previews
  • FAQ
  • Learning
  • Using the REPL
  • Lessons
    • Hello, World!
    • Booleans
    • Integers
    • Anatomy
    • Sets
    • Secret Santa
  • Literate Specifications
  • Design & Development
  • Design Principles
    • Transpiler architecture
    • Errors
    • Visiting IR components
    • Effect System
    • Type System
    • Modules
    • Flattening
    • Managing Apalache
    • Extend Quint with Row-Polymorphic Sum Types
    • Design Space of Foreign Calls in Quint
    • Simulator Traces in REPL

On This Page

  • VSCode plugin
  • Command line tools
Question? Give us feedback → (opens in a new tab)Edit this page
Documentation
Tool previews

Quick previews

VSCode plugin

Install the Quint VSCode Plugin (opens in a new tab) from the VisualStudio Marketplace.

Command line tools

Install the Quint CLI (opens in a new tab) from npm.

Built-in OperatorsFAQ

© 2024 Informal Systems.