Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/21 → 28/02/22 |
Funding
- Government Communications Headquarters: £99,818.88
Type-driven data-science infrastructure for Idris2
- Kammar, Ohad (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/21 → 28/02/22 |