About me
Publications
Contact
Light
Dark
Automatic
Theorem Proving
Guided Equality Saturation
Rewriting is a principled term transformation technique with uses across theorem proving and compilation. In theorem proving, each …
Thomas Kœhler
,
Andrés Goens
,
Siddharth Bhat
,
Tobias Grosser
,
Phil Trinder
,
Michel Steuwer
Last updated on Nov 23, 2023
PDF
Cite
DOI
URL