An open proof checker based on type theory

Project: Research

StatusFinished
Effective start/end date1/08/9931/12/02

Funding

Eng & Phys Sci Res Council EPSRC: £268,000

ID: 21702219