Lemmas & CiphersA scholarly learning notebook

Notes, proofs, and executable explorations in mathematics, cryptography, and formal verification.

Mathematics

Definitions, examples, and proofs developed through sustained study.

Read mathematics notes

Constructions, security ideas, and the mathematics behind modern cryptography.

Explore cryptography

Lean and Mathlib notes that pair mathematical ideas with executable proofs.

Study Lean notes