published Published about 2 years ago
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Julia
published Published over 2 years ago
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066