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

  • Language
  • Tooling
Question? Give us feedback → (opens in a new tab)Edit this page
Documentation
Introduction

Documentation

Welcome to the Quint documentation! Here are some main pointers.

Language

  • Language lessons
  • Syntax specification
  • Cheatsheet ↗
  • API documentation for built-in operators
  • Examples ↗ (opens in a new tab)
  • Frequently asked questions

Tooling

  • Tool video previews
  • REPL tutorial
  • CLI manual
  • Literate executable specifications
Getting Started

© 2024 Informal Systems.