Mizar

The Mizar System is the only implementation of the Mizar Language. Originally, the Mizar system was implemented on an IBM-PC x86 compatibles under MS DOS. Now we distribute releases for MS Windows, Intel-based Linux, Solaris and FreeBSD, and also Darwin/Mac OS X and Linux on PowerPC. The whole Mizar system (including verifier) is coded in Pascal using the Free Pascal compiler.


References in zbMATH (referenced in 434 articles , 4 standard articles )

Showing results 1 to 20 of 434.
Sorted by year (citations)

1 2 3 ... 20 21 22 next

  1. Chan, Hing-Lun; Norrish, Michael: Classification of finite fields with applications (2019)
  2. Coghetto, Roland: Cross-ratio in real vector space (2019)
  3. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. IV: Right angle (2019)
  4. Endou, Noboru: Fubini’s theorem (2019)
  5. Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
  6. Jaszczak, Adrian: Partial correctness of a power algorithm (2019)
  7. Jaszczak, Adrian; Korniłowicz, Artur: Partial correctness of a factorial algorithm (2019)
  8. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  9. Koch, Sebastian: About supergraphs. Part III (2019)
  10. Koch, Sebastian: Natural addition of ordinals (2019)
  11. Kunčar, Ondřej; Popescu, Andrei: A consistent foundation for Isabelle/HOL (2019)
  12. Kunčar, Ondřej; Popescu, Andrei: From types to sets by local type definition in higher-order logic (2019)
  13. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  14. Nakasho, Kazuhisa: Invertible operators on Banach spaces (2019)
  15. Nakasho, Kazuhisa: Isomorphisms from the space of multilinear operators (2019)
  16. Nakasho, Kazuhisa: Bilinear operators on normed linear spaces (2019)
  17. Nakasho, Kazuhisa; Shidama, Yasunari: Continuity of multilinear operator on normed linear spaces (2019)
  18. Nakasho, Kazuhisa; Shidama, Yasunari: Implicit function theorem. Part II (2019)
  19. Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques: Computer-assisted theorem proving in synthetic geometry (2019)
  20. Okazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi: Maximum number of steps taken by modular exponentiation and Euclidean algorithm (2019)

1 2 3 ... 20 21 22 next