Pinned Loading

1. LeanAutoformalizationSkills LeanAutoformalizationSkills Public

   Portable Lean 4 autoformalization skills for Codex and Claude Code

   Python 51 7

2. CaffarelliKohnNirenberg CaffarelliKohnNirenberg Public

   The Caffarelli-Kohn-Nirenberg theorem, formalized in Lean 4

   Lean 7 4

3. SuperdiffusionCLT SuperdiffusionCLT Public

   Lean 4 formalization of the superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift

   Lean 2 1

4. DOZZ DOZZ Public

   The Kupiainen–Rhodes–Vargas proof of the DOZZ formula, formalized in Lean 4

   Lean 3 3

5. amelieloher/hoermander-rothschild-stein amelieloher/hoermander-rothschild-stein Public

   Lean 4 formalization of Hörmander's hypoellipticity theorem and the Rothschild–Stein theory: lifting to homogeneous groups, fundamental solutions, and sharp Sobolev and Hölder estimates for sums of…

   Lean 5 2

6. LiebThirring LiebThirring Public

   Stability of matter, Lieb's ionization bound, the thermodynamic limit and the Thomas–Fermi limit, formalized in Lean 4

   Lean 5 2