Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
语言:Julia · GitHub 星标:3 · Fork:0
在 GitHub 上查看原仓库