blog at quartztz dot com

Jacopo Philip Moretti

Computer Science MSc student at EPFL

businesscard · about · projects · blog

quartztz::blog

⊢ Arbitrary Custom Syntax In Typst2026-05-30

⊢ New Developments in Control Flow Graphs in Lean2026-04-23

⊢ Control Flow Graphs in Lean2026-04-09

⊢ the one in which jack says bye to streaming2026-04-07

⊢ quartztz's Tactic of the Week · constructor2025-03-14