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