Back to The Julia Language
GSoC 2021

Applied equality saturation with Metatheory.jl

Project details

Contributor

Alessandro Cheli

Mentors

Shashi G, Keno Fischer

Technologies

Not listed in the archive