Proof Vault

every theorem written. every artifact dated.
1 proof / week LaTeX artifacts progress saved locally
← Cathedral

Search & filter

TOC
Logic
Discrete
Linear Algebra
Probability
Quantum
Synthesis

Naming convention: proofs/week-07_cfl-pumping-lemma.pdf
Keyboard: / focus search · Esc clear

Vault stats

Completed
—
Saved in browser (localStorage)
Visible
—
Current search + filters
Total
—
One per week + synthesis
pink, but lethal. 💗 every proof in this vault is a brick in the cathedral.
schola arcana · proof vault · ILLC + Oxford MFoCS preparation