|
|
Mizar |
|
Welcome to our Mizar pages.
Currently, the following pages are available:
-
Eddie
Eddie is an editor of Mizar articles.
Currently it's available in two versions: for Mizar and for Mizar-MSE.
In the second case, the program also includes the checker - the module responsible for verifying proof correctness.
-
Mizar-MSE Syntax
Descriptions of all reserved words in Mizar-MSE, with examples of usage.
Top
|
|
|
|