Interactive Proof Discovery: An Empirical Study of HOL Users
Stuart Aitken, Philip Gray, Tom Melham and Muffy Thomas infobook title | User Interface Design for Theorem Proving Systems: An International Workshop organised by the ITP Project |
editor | Philip Gray |
publisher | Department of Computing Science, University of Glasgow |
year | 1995 |
links
BibTeX
Link (pdf)
related pages
|
