Edinburgh Research Explorer

ProofPeer: Collaborative Theorem Proving

Project: Research

StatusFinished
Effective start/end date1/04/1431/03/17
Total award£653,510.00
Funding organisationEPSRC
Funder project referenceep/l011794/1
Period1/04/1431/03/17

Project relations

Research outputs