Schola Arcana — Proof Vault

A dedicated page for your weekly LaTeX proof artifacts. This is where your semester becomes admissions-grade: clean PDFs, consistent naming, and evidence of proof maturity.

1 proof artifact / week
Proofs + reductions + linear algebra theorems
Check-off saved locally (no login)
Print-friendly
← Back to Cathedral Semester

Search & filter proof index

TOC
Logic
Discrete
Linear Algebra
Probability
Quantum
Synthesis

Naming convention suggestion: proofs/week-07_cfl-pumping-lemma.pdf (or .tex alongside).
Keyboard: / focuses search • Esc clears search

Folder layout clean repo

Put your files in your repo like:
/proofs/
/proofs/week-01_logic-implication-proof.pdf
/proofs/week-02_nfa-equivalence.pdf
/proofs/week-17_master-proof.pdf
Then set each card’s link to the matching path (already pre-filled below).