Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/14 → 30/06/15 |
Funding
- Royal Academy of Engineering: £10,000.00
HoTT-based Computer-Assisted Reasoning
- Luo, Zhaohui (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/14 → 30/06/15 |