Pythagoras II: Machine support for semi-formalised proof oriented mathematics

Project: Research

AcronymPythagoras II
StatusFinished
Effective start/end date1/10/0431/12/06

Funding

Eng & Phys Sci Res Council EPSRC: £83,200

ID: 21702102