Show simple item record

Isamode: Theorem Proving with Isabelle inside Emacs

dc.contributor.authorAspinall, David
dc.date.accessioned2010-06-23T14:45:20Z
dc.date.available2010-06-23T14:45:20Z
dc.date.issued2000
dc.identifier.urihttp://hdl.handle.net/1842/3464
dc.description.abstractThis paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs.en
dc.language.isoenen
dc.publisherThe University of Edinburghen
dc.relation.ispartofseriesInformatics Report Seriesen
dc.relation.ispartofseriesEDI-INF-RR-0020en
dc.subjectInformaticsen
dc.titleIsamode: Theorem Proving with Isabelle inside Emacsen
dc.typeTechnical Reporten


Files in this item

Name:
0020.pdf
Size:
290.2Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

  • Informatics Report Series

    • Show simple item record