Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
Primary LanguageJulia