Summary: Introduction
Architecture
User Features
Implementation
Appraisal
Future
The End
Proof
General
A Generic Tool
for Proof Development
David Aspinall
LFCS, University of Edinburgh
http://www.lfcs.informatics.ed.ac.uk/proofgen
Introduction
Architecture
User Features
Implementation
Appraisal
Future

Source: Aspinall, David - School of Informatics, University of Edinburgh

Collections: Computer Technologies and Information Sciences