Guido salvaneschi

Vegie

proof extraction, e-graphs, equality saturation

2026

Versioned E-Graphs

automated theorem proving, e-graphs, conditional reasoning

2026

Dis/Equality Graphs

automated theorem proving, e-graphs, disequalities

2025