leanEA: A Lean Evolving Algebra Compiler.

Bernhard Beckert, Joachim Posegga

Browse the full CSL paper archive.