## Mizar TalkIn May 2000 I gave a talk about Mizar at the Proof Tool Day in Ghent. The title of the talk was "Mizar, a not very well known proof tool", and its abstract was:
Here are the slides for that talk: - [0] Title
- [1] Mizar
- [2] System
- [3] Mathematics and Computer Science
- [4] History
- [5] Procedural and Declarative
- [6] Backward and Forward Proof
- [7] Dialog and Batch
- [8] Types and Sets
- [9] Proof Style
- [10] Example
- [10a] Example (Steps)
- [10b] Example (Natural Deduction)
- [11] Library
- [12] Mizar Groups
- [13] Weaknesses (Philosophical)
- [14] Weaknesses (Practical)
- [15] Strengths
- [16] References
(last modification 2000-06-01) |