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


These systems are supplied as is, without warranty expressed or implied as to suitability for any purpose.

In particular they should not be used in the construction of nuclear facilities or air traffic control systems unless you're a bit of a gambler.

Back to the MRG Software page.

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.