README.md

Proost

A simple proof assistant written in Rust.

The specification of the project may be found here, and the user manual here. The API documentation can be found by clicking on the corresponding badge below the project name.

Build and install

To install proost with nix installed, simply type:

nix profile install git+ssh://git@gitlab.crans.org/loutr/proost.git?ref=main

A toplevel instance can then be launched with proost. Alternatively, replace profile install with run to give the program a go without installing it.

Without nix installed, git clone the project and, with Rust and cargo properly setup to an appropriate version (either through your package manager or rustup), do cargo run --release.

Development environment (with nix)