The formal source
Inspect Lean
Read the code behind the papers. Find a file, explore its declarations, and link directly to the source.
20 reading editions2722 source files
Coverage labels describe the existing evidence. Browsing the source does not run Lean.
Edit and run in your browser Free local compiler · 17 prepared workspaces
Hosted Paper XII editor External Lean service
Run with dependencies All displayed source files · native Lean
Core papers
- 116 files
- 75 files
Paper II
Refinement Towers, Weighted Transfer, and Integral Separation of Operator PacketsDeclared contract recorded - 161 files
- 119 files
Paper IV
Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero DataSelected results recorded - 25 files
- 49 files
Paper VI
Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE RealizationsInherited / related evidence - 25 files
- 40 files
Paper VIII
Packet Operator Algorithms, Exact Compilation, and GPU RealizationInherited / related evidence - 633 files
Paper IX
Arithmetic Packets, Dyadic Towers, and Local Polynomial DeformationSelected results recorded - 272 files
Paper X
Universal Residual Seeds and Conditional Occupied-System CompletionDeclared contract recorded - 430 files
- 96 files
Paper XII
Patching Support, Hecke Packets, and Conditional Automorphic CompletionInherited / related evidence
Books and monographs
- 31 files
- 255 files
- 47 files
- 166 files
- 67 files
- 79 files
- 29 files
- 7 files