Shared Notes

Hey,

This is where I share standalone technical reports, formal verification reviews, and research notes outside my main blog at thomas.md.

Reports

• EthLib Audit Report (October 2026) · Quorum review of ethereum/EthLib across Lean 4 specifications, formal proofs, and CPython bindings.