Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Submitted 12 February 2021
This paper is review pending but the review hasn't started. Editor and reviewer assignments are happening over on GitHub »


Paper actions

Available actions for you on this paper

Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066