Talks

NEPLS 2025 - Knuckledragger: A Low Barrier Proof Assistant video
EGRAPHS 2024 - E-graphs and Automated Reasoning bad video better video abstract post
EGRAPHS 2022 - Logging an Egg: Datalog on E-graphs https://www.philipzucker.com/egglog0/ post
Formal Methods for the Informal Engineer - The Z3 Theorem Prover video agenda post
JuliaCon 21 - Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl video
CyberCat seminar - Executing Categories video