GitHub repository: reduce-algebra/reducealgebra.jl
Description: reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl