Edinburgh Research Archive logo

Edinburgh Research Archive

University of Edinburgh homecrest
View Item 
  •   ERA Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
  •   ERA Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Web Based Replayer For Proof General

View/Open
0027.pdf (465.5Kb)
Date
2000
Author
Freear, Jonathan
Metadata
Show full item record
Abstract
Proof General is a generic interface for proof assistants, based on Emacs. It has been developed at the LFCS in the University of Edinburgh. One of the nice features of Proof General is that it is very easy to replay existing proofs, by mouse clicks alone. No low level understanding of a proof assistant is needed to step through the proofs. The aim of this project is to have a web-based version of Proof General which allowed for this proof replay, running a proof assistant remotely. The main aspect is to implement an engine for script management (colouring of lines of files), displaying in a web browser, sending lines to a proof assistant process and displaying the results.
URI
http://hdl.handle.net/1842/3503
Collections
  • Informatics Report Series

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page

 

 

All of ERACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisorsThis CollectionBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisors
LoginRegister

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page