|
|
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
|
|
|
|