Abstract

We give a beginner-oriented introduction to Isabelle/jEdit, providing motivation for using it as well as pointing at some differences to the traditional Proof General interface and current limitations.

BibTeX

@inproceedings{CS-IUW12b,
  author      = "Christian Sternagel",
  title       = "Getting Started with {Isabelle/jEdit}",
  booktitle   = "Isabelle Users Workshop",
  pages       = "31--36",
  year        = 2012
}