-
Notifications
You must be signed in to change notification settings - Fork 22
Home
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.