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

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

1 2 3 ... 16 17 18 next

  1. Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
  2. Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol: The role of the Mizar mathematical library for interactive proof development in Mizar (2018)
  3. Czajka, Łukasz; Kaliszyk, Cezary: Hammer for Coq: automation for dependent type theory (2018)
  4. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: Implementation of the composition-nominative approach to program formalization in Mizar (2018)
  5. Acewicz, Marcin; Pąk, Karol: Pell’s equation (2017)
  6. Chojecki, Przemysław: Deepalgebra -- an outline of a program (2017)
  7. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  8. Coghetto, Roland: Gauge integral (2017)
  9. Coghetto, Roland: Group of homography in real projective plane (2017)
  10. Endou, Noboru: Integral of non positive functions (2017)
  11. Färber, Michael; Kaliszyk, Cezary; Urban, Josef: Monte Carlo tableau proof search (2017)
  12. Ford, Ian: Semantic representation of general topology in the Wolfram language (2017)
  13. Futa, Yuichi; Shidama, Yasunari: Isomorphism theorem on vector spaces over a ring (2017)
  14. Futa, Yuichi; Shidama, Yasunari: Embedded lattice and properties of Gram matrix (2017)
  15. Futa, Yuichi; Shidama, Yasunari: Dual lattice of $\mathbbZ$-module lattice (2017)
  16. Geuvers, Herman (ed.); England, Matthew (ed.); Hasan, Osman (ed.); Rabe, Florian (ed.); Teschke, Olaf (ed.): Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17--21, 2017. Proceedings (2017)
  17. Grabowski, Adam: Basic formal properties of triangular norms and conorms (2017)
  18. Grabowski, Adam; Korniłowicz, Artur: Introduction to Liouville numbers (2017)
  19. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  20. Koch, Sebastian: About quotient orders and ordering sequences (2017)

1 2 3 ... 16 17 18 next