/GATlab.jl

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

Primary LanguageJuliaMIT LicenseMIT

No issues in this repository yet.