Technical report

In preparation

The technical report is on the way.

It will cover the formalize-and-prove pipeline, statement-integrity guarantees, and an evaluation of coverage across the library. Check back soon, or follow the repository for updates.