MRG home page Research Publications Software People

University of Edinburgh

AKT Portal Files

Version 1
- Docs
- Events
- Load
- Organizations
- Projects
- Research Areas
- Techs
Version 2.1
- Docs
- Events
- Load
- Organizations
- Projects
- Research Areas
- Techs
Version 2.2
- Docs
- Events
- Load
- Organizations
- Projects
- Research Areas
- Techs

Links

Main Project Page

The Mathematical Reasoning Group

Funding

The project is funded by EPSRC.

Webpage maintained by Fiona McNeill