GATlab Is Now The Core of Catlab

Owen Lynch

Mon Oct 16 2023

We have just replaced the core rewriting system behind Catlab with a full rewrite! GATlab integration by olynch · Pull Request #847 · AlgebraicJulia/Catlab.jl · GitHub

See my presentation for more details: https://youtube.com/watch?v=Jdl2dh_hY3c, or these blog posts for what happens next! AlgebraicJulia blog - Algebraic geometry for the working programmer, AlgebraicJulia blog - Symbolic presentations of dynamical systems