formL A formal calculator, written in Rust Installation To install the program To compile the project you need the Rust toolchain that you can get from here: git clone https://github.com/TheNaturLFoundation/formL.git cd formL cargo install --path .