Skip to main navigation Skip to search Skip to main content

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

Project: Research

Project Details

AcronymPythagoras II
StatusFinished
Effective start/end date1/10/04 → 31/12/06

Funding

  • Eng & Phys Sci Res Council EPSRC: £83,200.00