AlgebraicJulia/GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)