HoTT-based Computer-Assisted Reasoning

Project: Research

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

Funding

Royal Academy of Engineering: £10,000

ID: 21725155