Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Theoretical Computer Science
A &kgr;-denotational semantics for map theory in ZFC + SI
Theoretical Computer Science
Adding math to Web pages with EzMath
WWW7 Proceedings of the seventh international conference on World Wide Web 7
RIPEMD-160: A Strengthened Version of RIPEMD
Proceedings of the Third International Workshop on Fast Software Encryption
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The TeXbook
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Computer assisted reasoning with MIZAR
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Logiweb: a system for web publication of mathematics
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
MathLang Translation to Isabelle Syntax
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
| Hi-index | 0.00 |
Logiweb is an open source, distributed system for publication of machine checked mathematics. It covers all aspects of electronic publishing: high typographical quality, archival, handling of references to previously published results, and publication of refereed volumes. The present paper is itself produced using Logiweb; and the paper is formally correct in the sense that it has been verified by Logiweb. The paper describes the implementation layers of the Logiweb system as seen by the user: the programming layer, the metalogic layer, the tactic layer, and the object proof layer.