HTTPS SSH
Theorem Proving Assistant for Unifying Theories of Programming (UTP2)

This repo is the main working area and may contain broken code.

Official (Working!) releases are available from
  https://www.scss.tcd.ie/Andrew.Butterfield/Saoithin/
(but currently (Jun 2015) these are quite old....)

SDNC = Still Does Not Compile