|
Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3464
|
| Title: | Isamode: Theorem Proving with Isabelle inside Emacs |
| Authors: | Aspinall, David |
| Issue Date: | 2000 |
| Publisher: | The University of Edinburgh |
| Series/Report no.: | Informatics Report Series
EDI-INF-RR-0020 |
| Abstract: | This paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs. |
| Keywords: | Informatics |
| URI: | http://hdl.handle.net/1842/3464 |
| Appears in Collections: | Informatics Report Series
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
