A generic approach to building user interfaces for theorem provers

Proof General: A Generic Tool for Proof Development

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000

Isar - A Generic Interpretative Approach to Readable Formal Proof Documents

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics

On Communicating Proofs in Interactive Mathematical Documents

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation

Functional design and implementation of graphical user interfaces for theorem provers

Journal of Functional Programming

Proof general in Eclipse: system and architecture overview

eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange

ACL2s: “The ACL2 Sedan”

Electronic Notes in Theoretical Computer Science (ENTCS)

ACL2s: "The ACL2 Sedan"

ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering

A Graphical User Interface for Formal Proofs in Geometry

Journal of Automated Reasoning

Managing Proof Documents for Asynchronous Processing

Electronic Notes in Theoretical Computer Science (ENTCS)

Proof general/eclipse: a generic interface for interactive proof

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Proof General meets IsaWin

Electronic Notes in Theoretical Computer Science (ENTCS)

Visualizing Geometrical Statements with GeoView

Electronic Notes in Theoretical Computer Science (ENTCS)

Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants

Electronic Notes in Theoretical Computer Science (ENTCS)

Isabelle as document-oriented proof assistant

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics

A web interface for matita

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Engineering the Prover Interface

Electronic Notes in Theoretical Computer Science (ENTCS)