GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Primary LanguageJuliaMIT LicenseMIT
No issues in this repository yet.