An open proof checker based on type theory

Project: Research

Project Details

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

Funding

  • Eng & Phys Sci Res Council EPSRC: £268,000.00