1fddd3645e · Updated catlab to v0.10 · Updated 2 weeks ago
7c3668bb2b · build based on 1fddd36 · Updated 2 weeks ago
f4d08d54c9 · Merge branch 'compat' of github.com:mehalter/Petri.jl into compat · Updated 1 year ago
e2555434d8 · add symbolic_symplify routine for simplification of Exprs · Updated 1 year ago
Deleting a branch is permanent. It CANNOT be undone. Continue?