A Practical Guide To Mizar

A Practical Guide To Mizar

Table of Contents

A printable version of A Practical Guide To Mizar is available. (edit it)

• Preface
• Installation
• The Environment
• Syntax and Sets
• Relations and Functions
• Numbers
• Structures
• One-dimensional Calculus
• Linear Algebra
• Multi-dimensional Calculus
• Probability Theory
• Topology
• Graph Theory
• Bibliography