issues
search
AlgebraicJulia
/
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21
stars
2
forks
source link
hotfix: coerce to AlgTerm
#114
Closed
kris-brown
closed
9 months ago
kris-brown
commented
9 months ago
hotfix: coerce to AlgTerm
hotfix: coerce to AlgTerm