Command Line Interface (CLI)

Domino CLI is currently the main user interface for parsing, type checking, proof verification, exporting to LaTeX. This section explains the subcommands that CLI provides.

• domino prove
• domino latex
• domino proofsteps

Tip

If you are getting started with a project, it is a good idea to export the project to LaTeX which contains the composition diagrams next to the code of packages as well as the theorems proved in the project with their proof steps. See domino latex for more information.

Tip

domino --version prints the commit hash of the Domino version you are using. Please include its output when reporting issues.