Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/01 → 30/06/04 |
Funding
- EPSRC: £62,840.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Article
-
A proof-centric approach to mathematical assistants
Dixon, L. & Fleuriot, J., 2006, In: Journal of applied logic. 4, 4, p. 505-532 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile