Quantomatic is an interactive graph rewriting tool. It allows users to construct a graph with a set of generators and perform rewrites modulo a customisable theory engine. Many more features to come.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy