Cameron Freer

Advanced
@cameronfreer
cfreer.org/

lean4-skills. Lean 4 theorem proving skill and workflow pack for AI coding agents

349

LeanDepViz. Dependency visualization and verification for Lean 4 projects

10

exchangeability. Formalization of exchangeability and three proofs of de Finetti's theorem in Lean 4, following Probabilistic Symmetries and Invariance Principles by Olav Kallenberg

9

treadmillcanon-prototype. Python

1

erdos124. A complete Lean 4 formalization of Erdős Problem 124 using Mathlib.

1
5
Apply