Jaskinie Podróże Nurki Grafika Mizar Teksty Kulinaria Lemkov Namiary Mapa RSS English
Spelunka Trybików Mizar YAC Software
  Wróć

Mizar

Eddie

Artykuły

Syntaktyka Mizara-MSE

Mizar
Witamy na naszych stronach mizarowych.



Obecnie dostępne są następujące strony:
  • Eddie
    Eddie to edytor artykułów mizarowych. Obecnie jest dostępny w dwóch wersjach: dla Mizara i dla Mizara-MSE. W tym drugim przypadku, program zawiera także checker - moduł sprawdzający poprawność dowodów.
  • Syntaktyka Mizara-MSE
    Opis wszystkich słów zarezerwowanych Mizara-MSE wraz z przykładami użycia.
Góra