/Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

Primary LanguageJuliaBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers