MRG home page Research Publications Software People

University of Edinburgh

AKT Support Files

Version 1
- Additional Stuff
- Basic
- Foundations
- Frames
- Time
Version 2.1
- Additional Stuff
- Basic
- Foundations
- Frames
- Time
Version 2.2
- Additional Stuff
- Basic
- Foundations
- Frames
- Time

Links

Main Project Page

The Mathematical Reasoning Group

Funding

The project is funded by EPSRC.

Webpage maintained by Fiona McNeill