Formal Proof Sketches (2002)

by Freek Wiedijk
Venue:In Proceedings of TYPES’03, volume 3085 of LNCS
Citations:22 - 3 self

Documents Related by Co-Citation

15 MathLang: experience-driven development of a . . . – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
56 The Mathematical Vernacular, a language for mathematics with typed sets – N G de Bruijn - 1987
82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
17 Toward an object-oriented structure for mathematical text – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2006
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
24 Flexible encoding of mathematics on the computer – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2004
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
72 Grammatical Framework: A Type-Theoretical Grammar Formalism – Aarne Ranta - 2003
855 An Introduction to the Theory of Numbers – G H Hardy, E M Wright - 1979
50 The Thirteen Books of Euclid’s Elements – T L Heath
75 Proof General: A Generic Tool for Proof Development – David Aspinall - 2000
13 On Equivalents of Well-foundedness -- An experiment in Mizar – Piotr Rudnicki, Andrzej Trybulec - 1998
3 Formal software development in maya – Serge Autexier, Dieter Hutter - 2005
69 ActiveMath: A Generic and Adaptive Web-Based Learning Environment – Erica Melis, Eric Andres, Jochen Budenbender, Adrian Frischauf, Erica Melis Eric Andrès, George Goguadze, Paul Libbrecht, Martin Pollet, Carsten Ullrich - 2001
13 The CORE calculus – Serge Autexier - 2005
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
9 der Hoeven, “GNU TeXmacs: A free, structured, wysiwyg and technical text editor”, in “Le document au XXI-ième siècle – J van
7 Platomega: A mediator between texteditors and proof assistance systems – Marc Wagner, Serge Autexier, Christoph Benzmüller
35 Ω-ANTS -- An open approach at combining Interactive and Automated Theorem Proving – Christoph Benzmüller, Volker Sorge - 2000