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 here for updates.
In preparation
It will cover the formalize-and-prove pipeline, statement-integrity guarantees, and an evaluation of coverage across the library. Check back here for updates.