Caves Travel Diving Graphics Mizar Texts Cuisine Lemkov Contact Map RSS Polski
Trybiks' Dive Mizar YAC Software
  Back

Mizar

Eddie

Articles

Mizar-MSE Syntax

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