qbar

the rational proof assistant

GETTING STARTED with QBAR

The documentation and API is currently a work in progress. See the source code repository for more information.

STEP 1: Boot Up a Shell

Start off by downloading a terminal shell or running the web shell in another window. Once you get there, type in ? to see the help menu and/or run the tutorial command to see a list of tutorials. You can proceed by using those tutorials or by continuing here.

Installing a Terminal Shell

Worlflow Status Project Crate Documentation

The reference terminal shell is built with Rust and can be installed with cargo as follows:

cargo install qbar

For more information on the terminal shell implementation see the Rust documentation.

Runnning the Web Shell

Open in New Tab

For more information on the web shell implementation see the Rust documentation.

STEP 2: Get to Know S-expressions

WIP

In the meantime, see the s-expression documentation for more information.

STEP 3: Learn the Rule-Composition Algorithm

WIP