Emilio Jesus Gallego Arias, Benoit Pin & Pierre Jouvelo (2016):
jsCoq: Towards a Hybrid Theorem Proving Interface for Coq.
In: Serge Autexier & Pedro Quaresma: Proc. User Interfaces for Theorem Provers (UITP'16),
Coimbra.
Ralph Back, Jim Grundy & Joakim von Wright (1997):
Structured calculational proof.
Formal Aspects of Computing 9(5),
pp. 469–483,
doi:10.1007/BF01211456.
Gavin Bierman, Martin Abadi & Mads Torgersen (2014):
Understanding typescript.
In: ECOOP 2014–Object-Oriented Programming.
Springer,
pp. 257–281,
doi:10.1007/978-3-662-44202-9_11.
Richard Bornat & Bernard Sufrin (1999):
Animating Formal Proof at the Surface: the Jape proof calculator.
The Computer Journal 42(3),
pp. 177– 192,
doi:10.1093/comjnl/42.3.177.
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky & Wolfgang Windsteiger (2016):
Theorema 2.0: Computer-Assisted Natural-Style Mathematics.
Journal of Formalized Reasoning 9(1),
pp. 149–185,
doi:10.6092/issn.1972-5787/4568.
Available at https://jfr.unibo.it/article/view/4568.
Davide Cervone (2012):
MathJax: a platform for mathematics on the Web.
Notices of the AMS 59(2),
pp. 312–316,
doi:10.1090/noti794.
Jim Grundy (1996):
A Browsable Format for Proof Presentation.
Technical Report 22.
Turku Centre for Computer Science.
Cezary Kaliszyk (2007):
Web Interfaces for Proof Assistants.
In: Serge Autexier & Chris Benzmüller: Proc. User Interfaces for Theorem Provers (UITP'06),
Electronic Notes in Theoretical Computer Science (ENTCS) 174,
pp. 49– 61,
doi:10.1016/j.entcs.2006.09.021.
Christoph Lüth & Martin Ring (2013):
A Web Interface for Isabelle: The Next Generation.
In: Intelligent Computer Mathematics.
Springer,
pp. 326–329,
doi:10.1007/978-3-642-39320-4_22.
Heather Miller, Philipp Haller, Eugene Burmako & Martin Odersky (2013):
Instant pickles: Generating object-oriented pickler combinators for fast and extensible serialization.
In: ACM Sigplan Notices 48.
ACM,
pp. 183–202,
doi:10.1145/2509136.2509547.
Julien Narboux (2007):
A Graphical User Interface for Formal Proofs in Geometry.
Journal of Automated Reasoning 39(2),
pp. 161–180,
doi:10.1007/s10817-007-9071-4.
Martin Ring & Christoph Lüth (2014):
Collaborative interactive theorem proving with Clide.
In: Interactive Theorem Proving.
Springer,
pp. 467–482,
doi:10.1007/978-3-319-08970-6_30.
Raymond Roestenburg, Rob Bakker & Rob Williams (2015):
Akka in action.
Manning Publications Co..
Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet & Volker Sorge (1999):
LOUI: Lovely OMEGA User Interface.
Formal Aspects of Computing 11(3),
pp. 326–342,
doi:10.1007/s001650050053.
Available at http://christoph-benzmueller.de/papers/J2.pdf.
Carst Tankink (2014):
PIDE for Asynchronous Interaction with Coq.
In: Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, Vienna, Austria, 17th July 2014,
EPTCS 167,
pp. 73–83,
doi:10.4204/EPTCS.167.9.
Makarius Wenzel (2014):
System description: Isabelle/jEdit in 2014.
In: Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, Vienna, Austria, 17th July 2014,
EPTCS 167,
pp. 84–94,
doi:10.4204/EPTCS.167.10.
Sean Wilson & Jacques D Fleuriot (2005):
Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs.
In: Workshop on User Interfaces for Theorem Provers (UITP).
Available at https://www.inf.ed.ac.uk/publications/online/0242.pdf.
Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2010):
Visually Dynamic Presentation of Proofs in Plane Geometry.
Journal of Automated Reasoning 45(3),
pp. 213–241,
doi:10.1007/s10817-009-9162-5.
eptcs@eptcs.org