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.