MRG home page · Research · Publications · Projects · Software · People

Available software

This page contains links to the various software systems we distribute.
If you intend to use any of these you may wish to read our disclaimer

Supported and ongoing software projects:

Older software projects (no longer being developed):

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.