A WIP web application to create and manipulate first order logic truth trees.
- Access to the rust compiler (look here for more info)
cargo-leptos
To run this project with hot-reloading enabled, use cargo leptos watch.
To compile for production use, use cargo leptos build.
Logo "DesenhodabandaYggDrasil" by FrostZERO via CC BY-SA 3.0