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