Reseña: “A Web interface for Isabelle: The next generation”
Se ha publicado un trabajo de automatización del razonamiento en Isabelle titulado A Web interface for Isabelle: The next generation.
Sus autores son Christoph Lüth y Martin Ring (de la Universidad de Bremen, Alemania).
El trabajo se presentará en julio en el CICM 2013 (Conferences on Intelligent Computer Mathematics).
Su resumen es
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.