Skip to content
This repository was archived by the owner on Mar 13, 2026. It is now read-only.

Home

Jump to bottom
Aleks Kissinger edited this page Jun 16, 2013 · 6 revisions

These wiki pages are primarily for creating and organising documentation for quanto developers. For help getting Quantomatic up and running, and to learn more about the project, see: http://sites.google.com/site/quantomatic/.

Development on the Quantomatic project is (roughly) organised into four sub-projects.

  • QuantoCore - the core, ML layer. Primarily concerned with computational heavy-lifting like matching a rewriting.
  • QuantoDerive - an interactive GUI for creating and validating graphical derivations from a set of axioms.
  • QuantoCosy - a tool for synthesising new graphical theories.
  • QuantoTactic - intergration of the Quantomatic core with interactive theorem provers like Isabelle.

Clone this wiki locally