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

Hierarchical Proofs and Graphs (HiProofs and HiGraphs)

Tutorial: Introduction to notation

start of tutorial : previous : next : exit tutorial

HiGraphs represent HiProofs as graphs. The HiProof goals represent the edges and HiProof methods represent the nodes.

There are two shades of green used to colour the method names in the HiGraph. The light green indicates a method has submethods whose visibility can be toggled by the user. The dark green indicates a method has no submethods.

start of tutorial : previous : next : exit tutorial

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.