An Outline of PC Mizar (1993)

Cached

Download Links

by Michal Muzalewski
Citations:6 - 0 self

Documents Related by Co-Citation

20 H.: Computer assisted reasoning with Mizar – A Trybulec, Blair - 1985
10 A κ-denotational semantics for Map Theory – C Berline, K Grue - 1997
2 An Interactive Proof System for Map Theory – Sebastian C. Skalberg, Gertrud Bauer, Stefan Berghofer, Gerwin Klein, David Von Oheimb, Prensa Nieto, Markus Wenzel, Thomas Marthedal Rasmussen, Jakob Grue Simonsen, Peter Mller Neergaard, Nally Anders Bystrup, Dina Friis, Jarl Friis, Signe Reuss, Christian Stefansen, Rolf Dyre Svegstrup - 2002
3 A gentle introduction to MathML – R Miner, J Schaeffer - 2001
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
410 The TEXbook – Donald E Knuth - 1986
13 Stable Map Theory – Klaus Grue - 1996
4 Map theory with classical maps – K Grue - 2002
106 RIPEMD-160: A Strengthened Version of RIPEMD – Hans Dobbertin, Antoon Bosselaers, Bart Preneel - 1996
7 Three Tactic Theorem Proving – Don Syme - 1999
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
10 Some features of the Mizar language. Presented at a workshop in – A Trybulec - 1993
3 Mizar: An impression. Unpublished paper – F Wiedijk - 1999
12 Predicate calculus and program semantics. Texts and monographs in computer science – E W Dijkstra, C S Scholten - 1990
1 Map Theory” et Antifondation. Volume 79 – T Vallée - 2003
1 Mathematics and Computation. 7 edn. Volume 1–3 – K Grue - 2001
1 A logiweb base page – K Grue - 2006
1 The logiweb sequent calculus – K Grue
1 Introduction to Mathematical Logic. 3. edn – E Mendelson - 1987