Owned by Quantomatic
A proof assistant for diagrammatic reasoning
Unlink this package from one of my repositories
Downloads
Size: 55899584
sha256: e71658d0f45e2d12a5fb4925d9c5b13d0a03038d0b3be1401ac684c6f3ddfd68
Version Publication Date
Version Badge
Updated in Nov 28, 2017
Watchers (0)
No watchers yet.