Getting Started with Isabelle/jEdit in 2018
Logic in Computer Science
2019-02-06 v3
Abstract
This is a beginner-oriented introduction to Isabelle/jEdit, the main user interface for the proof assistant Isabelle.
Cite
@article{arxiv.1208.1368,
title = {Getting Started with Isabelle/jEdit in 2018},
author = {Christian Sternagel},
journal= {arXiv preprint arXiv:1208.1368},
year = {2019}
}
Comments
5 pages, Isabelle Users Workshop 2012 (updated in 2019)