Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Architecture
 

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