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

Project: Research

AcronymPythagoras I
StatusFinished
Effective start/end date1/10/0230/09/04

Funding

Eng & Phys Sci Res Council EPSRC: £187,000

ID: 21702132