FormalRV — API documentation

Declarations extracted from the FormalRV Lean sources (this project only — mathlib is intentionally not included). 7365 declarations across 427 modules.

Start at the main theorem, or browse by concern:

Core19 modules · 1028 declarations

Arithmetic45 modules · 1464 declarations

Shor127 modules · 1397 declarations

QEC18 modules · 265 declarations

PPM48 modules · 1103 declarations

LatticeSurgery20 modules · 461 declarations

System35 modules · 1020 declarations

Framework10 modules · 270 declarations

Qualtran1 modules · 8 declarations

(top level)13 modules · 0 declarations

Audit84 modules · 291 declarations

Codegen5 modules · 50 declarations

Verifier2 modules · 8 declarations