Linki zewnętrzne Główna strona Mizara, zawiera linki do MML, do Journal of Formalized Mathematics, i sekcję bibliograficzną, zawierającą wiele różnych samouczków dla początkujących , zawiera slajdy z wykładu konferencyjnego poświęconego systemowi Mizar, jak również 40-stronicowy artykuł wprowadzający w jego tajniki Roman Matuszewski i Piotr Rudnicki; MIZAR: the first 30 year. "Mechanized Mathematics and its Applications, 4 (2005), dostępne w formacie pdf na stronach Mizara
Kategoria:Oprogramowanie matematyczne Kategoria:Języki programowania Kategoria:Automatyczne dowodzenie twierdzeń