GitHub repository: HarrisonGrodin/SymReduce.jl
Primary language: Julia
Created: 2018-04-28T20:08:29Z
Description: Term rewriting in Julia