Aleks Kissinger edited this page Jun 16, 2013 · 6 revisions
Clone this wiki locally

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.