A Web Interface for Isabelle: The Next Generation. 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
References in zbMATH (referenced in 2 articles , 2 standard articles )
Showing results 1 to 2 of 2.
- Ring, Martin; Lüth, Christoph: Collaborative interactive theorem proving with Clide (2014)
- Lüth, Christoph; Ring, Martin: A web interface for Isabelle: the next generation (2013)