AlgebraicJulia/GATlab.jl

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

语言：Julia · GitHub 星标：43 · Fork：4

在 GitHub 上查看原仓库