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 453 articles , 4 standard articles )

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

1 2 3 ... 21 22 23 next

  1. Brown, Chad E.; Pąk, Karol: AIM loops and the AIM conjecture (2020)
  2. Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari: Operations of points on elliptic curve in affine coordinates (2020)
  3. Grabowski, Adam: Formal development of rough inclusion functions (2020)
  4. Koch, Sebastian: About graph mappings (2020)
  5. Koch, Sebastian: Underlying simple graphs (2020)
  6. Koch, Sebastian: About vertex mappings (2020)
  7. Li, Wenda; Paulson, Lawrence C.: Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (2020)
  8. Schwarzweller, Christoph: Field extensions and Kronecker’s construction (2020)
  9. Schwarzweller, Christoph: On the intersection of fields (F) with (F[X]) (2020)
  10. Brown, Chad E.; Pąk, Karol: A tale of two set theories (2019)
  11. Chan, Hing-Lun; Norrish, Michael: Classification of finite fields with applications (2019)
  12. Chvalovský, Karel; Jakubův, Jan; Suda, Martin; Urban, Josef: ENIGMA-NG: efficient neural and gradient-boosted inference guidance for (\mathrmE) (2019)
  13. Coghetto, Roland: Cross-ratio in real vector space (2019)
  14. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. IV: Right angle (2019)
  15. Endou, Noboru: Fubini’s theorem (2019)
  16. Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
  17. Jaszczak, Adrian: Partial correctness of a power algorithm (2019)
  18. Jaszczak, Adrian; Korniłowicz, Artur: Partial correctness of a factorial algorithm (2019)
  19. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  20. Koch, Sebastian: Natural addition of ordinals (2019)

1 2 3 ... 21 22 23 next