Theseus Documentation

Welcome to the online hosted docs for Theseus! This is currently a work in progress.

The top-level Theseus README is most up-to-date and a great place to get started.

The main source-level documentation is available here.

A higher-level overview of Theseus is available here as book-style documentation.