Voltar
Capítulo de livro Revisado por pares
BIBTEX RIS

A Web Interface for Isabelle: The Next Generation

2013; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-39320-4_22

ISSN

1611-3349

Autores

Christoph Lüth, Martin Ring,

Tópico(s)

Polynomial and algebraic computation

Resumo

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.

Referência(s)