HoTT-based Computer-Assisted Reasoning

Project: Research

StatusFinished
Effective start/end date1/07/1430/06/15

Funding

Royal Academy of Engineering: £10,000

ID: 21725155