Logic for Systems (CSCI 1710) Textbook

This repository holds the draft source for the new (summer 2024) Logic for Systems textbook.

Building

1. Install Rust and Cargo from here.
2. Run cargo install mdbook
3. Run cargo install mdbook-admonish
4. Run cargo install mdbook-katex
5. cd book and mdbook serve --open to open the docs in a browser. mdbook will automatically rebuild the output and automatically refresh your web browser when changes are made.

Check out the rest of the docs here: https://rust-lang.github.io/mdBook/guide/creating.html

Credits

The mdbook frame of this book is based on the mdbook version of the Forge documentation initiated by HTA David Fryd.