◍wovepaper
SearchResearchersInstitutions
Sign in
cs.LOAug 1, 2012
1
citations (OpenAlex)
authors
  • Christian Sternagel
institutions
  • Japan Advanced Institute of Science and Technology
  • Universität Innsbruck
arXiv abstractPDF
paper

Getting Started with Isabelle/jEdit in 2018

arXiv:1208.1368

Abstract

This is a beginner-oriented introduction to Isabelle/jEdit, the main user interface for the proof assistant Isabelle.

5 pages, Isabelle Users Workshop 2012 (updated in 2019)

References in corpus (1)

  • READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking

Cited by in corpus (1)

  • The Dafny Integrated Development Environment
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.