cl-banner

Getting Started with Isabelle/jEdit

Christian Sternagel

Isabelle Users Workshop (IUW 2012), 2012.

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.

 

  PDF |    arXiv

BibTeX 

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