quint

language

Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions

How to download and setup quint

Open terminal and run command

git clone https://github.com/informalsystems/quint.git

git clone is used to create a copy or clone of quint repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with quint https://github.com/informalsystems/quint/archive/master.zip

Or simply clone quint with SSH

[email protected]:informalsystems/quint.git

If you have some problems with quint

You may open issue on quint support forum (system) here: https://github.com/informalsystems/quint/issues

Similar to quint repositories

Here you may see quint alternatives and analogs

TypeScript ruby pyret-lang go awesome-cheatsheets android-dev-sources mimesis CN-VScode-Docs oh Eve lang rust Nim red scala-js haxe enso crystal ChatterBot awesome-nlp solidity proposals wren gravity proselint corpora franc Carp sdk nlp_tasks