Projects per year
Search results
-
Finished
Type-driven data-science infrastructure for Idris2
UK central government bodies/local authorities, health and hospital authorities
1/04/21 → 28/02/22
Project: Research
-