light
dark
research notebook · 2026–
CC's Research Notebook
6 entries
2026-05-27
ML-DSA Concrete Rounding
❦
2026-05-21
Proof Engineering
❦
2026-05-10
Why Lean?
◧ slides
❦
2026-04-25
How Do We Talk About Money Like a Professional?
❦
2026-04-22
Taming Real Numbers in Lean
❦
2026-03-30
Can We Formally Verify Privacy Properties?
◧ slides