Owned by Quantomatic
A proof assistant for diagrammatic reasoning (development version)
Unlink this package from one of my repositories
Downloads
Size: 58991979
sha256: b9f45141847f355a74ca7206364402075c627156d8428212fa8b915c219f0ea8
Version Publication Date
Version Badge
Updated in Feb 23, 2018
Watchers (0)
No watchers yet.