Theseus Documentation

Welcome to the online docs for Theseus! There are two kinds of docs available:

• Source-level documentation (rustdoc)
• The Theseus Book, a higher-level overview of Theseus design concepts.

You can also check out the main Theseus README file for a quick start guide.