![]() |
The latest version: system 8.1.06, mml 5.45.1305 |
You can use Mizar Lecture Notes on Web. Please choose a Package from below. |
Basic Package | Simple Verifier |
---|---|
Extended Package | Verifier with your own Vocabulary data |
Complete Package | Verifier with your own Vocabulary data and Some useful Mizar Commands |
Grep | Search local MML (5.45.1305) |
Other VersionPlease use system 7.7.01, mml 4.66.942 for Mizar Lecture. |