A web interface for isabelle: the next generation

  • Authors:
  • Christoph Lüth;Martin Ring

  • Affiliations:
  • Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen, Germany;Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen, Germany

  • Venue:
  • CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present Clide, a web interface for the interactive theorem prover Isabelle. Clide uses latest web technology and the Isabelle/PIDE framework to implement a web-based interface for asynchronous proof document management that competes with, and in some aspects even surpasses, conventional user interfaces for Isabelle such as Proof General or Isabelle/jEdit.