Pythagoras I: Machine support for semi-formalised proof oriented mathematics
Project: Research
- Luo, Zhaohui (PI)
| Acronym | Pythagoras I |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/02 → 30/09/04 |
Funding
Eng & Phys Sci Res Council EPSRC: £187,000
ID: 21702132