Installation

Archetype compiler comes with the Completium CLI :

npm i @completium/completium-cli -g
completium-cli init

To know the current version of Archetype:

completium-cli archetype version

The current version is 1.2.8.

VS code extension installation

Archetype also comes with the Archetype VS code extension:

​Visual Studio Code Marketplace: archetype​

Verification tools

Archetype generates Why3 file format (mlw) for contract verification purpose.

Follow instructions on the page below to install Why3 and solvers (Alt-Ergo, CVC4, Z3):

​

​

​

​

​

​