- Jahrim Cesario

Hi, I'm Jahrim 👋

I'm a PhD student

Jahrim Cesario

Hi, I'm Jahrim 👋

I'm a PhD student

HOME / Techs / Lean

Lean

Versioned E-Graphs

Versioned E-Graphs

automated theorem proving, e-graphs, conditional reasoning

2026

Made with ❤️ — Powered by Hugo and the Personal Web theme. Icons come from the great Font Awesome library

© Jahrim Gabriele Cesario