Skip to content

forge-fm/book

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

104 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Logic for Systems (CSCI 1710) 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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors