Skip to main navigation Skip to search Skip to main content

HoTT-based Computer-Assisted Reasoning

Project: Research

Project Details

StatusFinished
Effective start/end date1/07/14 → 30/06/15

Funding

  • Royal Academy of Engineering: £10,000.00