#monograph

2026-07-03

From 1+1=2 to machine-checked curve arithmetic — the book

A 106-page LaTeX/TikZ book plus compiling exercise files - a curriculum that takes an undergraduate with zero formal-methods background to the point of reading, and extending, the real Lean 4 proofs in the ed25519/Pallas verification family.

2026-03-29

A publication-grade monograph generated from Certificate Transparency

Pull every currently-valid leaf cert with matching SAN substrings out of the public CT logs; verify they're real leaves; assess intended usage via EKU/KeyUsage; scan their DNS names for effective CAA policy; emit a primary readable output as Markdown, LaTeX, and PDF. Made for the case where you want to *publish* the result.