Getting Started with Isabelle/jEdit in 2018
Christian Sternagel
TL;DR
This paper provides a beginner-friendly introduction to using Isabelle/jEdit, the primary interface for the Isabelle proof assistant, aimed at new users in 2018.
Contribution
It offers an accessible guide for newcomers to effectively start using Isabelle/jEdit in 2018.
Findings
Simplifies initial setup process
Highlights key features for beginners
Provides practical usage tips
Abstract
This is a beginner-oriented introduction to Isabelle/jEdit, the main user interface for the proof assistant Isabelle.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics, Computing, and Information Processing · Scientific Computing and Data Management · Advanced Database Systems and Queries