This site collects my personal notes on mathematics and cryptography, written up as I work through textbooks, papers, and proofs. Expect lemmas, definitions, and the occasional formal-verification detour into Lean/mathlib.
Everything here is a work in progress — notes get corrected, extended, and reorganized as my understanding improves. Feel free to browse by topic using the navigation above or the sidebar.