ABOUT:
Quantomatic is a piece of software for reasoning about monoidal theories. In particular, it was designed to reason about quantum information processing.
More details are available at:
LICENSE:
This software is under the GNU General Public License (GPL). This is described in detail at:
You can also see docs/LICENSE.txt for the full details.
DISCLAIMER:
This software is provided "as is": you use the software at your own risk and we make no warranties of any sort.
See docs/DISCLAIMER.txt for more about how little responsibility we take.