max/zigzag-engine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Zigzag engine: cubical/string-diagram constructions in Rust. Reference for topolei.
4 commits 5 branches 0 tags 225 KiB
Find a file
Maximus Gorog 13d5c04598 Merge feat/degeneracy: Lemma 7 factorisation, Prop 13 pullbacks
2026-04-07 03:11:15 -06:00
src Merge feat/degeneracy: Lemma 7 factorisation, Prop 13 pullbacks 2026-04-07 03:11:15 -06:00
.gitignore Scaffold zigzag-engine library 2026-04-07 02:42:06 -06:00
Cargo.lock Scaffold zigzag-engine library 2026-04-07 02:42:06 -06:00
Cargo.toml Scaffold zigzag-engine library 2026-04-07 02:42:06 -06:00