Yggdrasil

A WIP web application to create and manipulate first order logic truth trees.

Development

Requirements

• Access to the rust compiler (look here for more info)
• cargo-leptos

Running

To run this project with hot-reloading enabled, use cargo leptos watch. To compile for production use, use cargo leptos build.

Credits

Logo "DesenhodabandaYggDrasil" by FrostZERO via CC BY-SA 3.0