FormalRV — API documentation

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

Start at the main theorem, or browse by concern:

Core35 modules · 1040 declarations

Arithmetic197 modules · 2258 declarations

Shor344 modules · 2731 declarations

QFT17 modules · 250 declarations

QPE15 modules · 168 declarations

QEC159 modules · 2867 declarations

PPM77 modules · 1218 declarations

Resource10 modules · 141 declarations

System55 modules · 1374 declarations

Framework10 modules · 270 declarations

Audit105 modules · 841 declarations

Codegen8 modules · 97 declarations

Verifier2 modules · 8 declarations

Qualtran1 modules · 8 declarations

(top level)16 modules · 0 declarations

NumberTheory6 modules · 35 declarations

PauliRotation47 modules · 674 declarations