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

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

1 2 3 ... 18 19 20 next

  1. Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
  2. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  3. Kunčar, Ondřej; Popescu, Andrei: From types to sets by local type definition in higher-order logic (2019)
  4. Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban: DeepMath - Deep Sequence Models for Premise Selection (2018) arXiv
  5. Avron, Arnon; Cohen, Liron: Applicable mathematics in a minimal computational theory of sets (2018)
  6. 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)
  7. Bancerek, Grzegorz; Naumowicz, Adam; Urban, Josef: System description: XSL-based translator of Mizar to \LaTeX (2018)
  8. Betzendahl, Jonas; Kohlhase, Michael: Translating the IMPS theory library to MMT/OMDoc (2018)
  9. Coghetto, Roland: Klein-Beltrami model. II (2018)
  10. Coghetto, Roland: Klein-Beltrami model. I (2018)
  11. Czajka, Łukasz; Kaliszyk, Cezary: Hammer for Coq: automation for dependent type theory (2018)
  12. Endou, Noboru: Fubini’s theorem for non-negative or non-positive functions (2018)
  13. Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef: Proofwatch: watchlist guidance for large theories in E (2018)
  14. Grabowski, Adam: Sequences of prime reciprocals. Preliminaries (2018)
  15. Grabowski, Adam; Sielwiesiuk, Michał: Formalizing two generalized approximation operators (2018)
  16. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: Implementation of the composition-nominative approach to program formalization in Mizar (2018)
  17. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: On an algorithmic algebra over simple-named complex-valued nominative data (2018)
  18. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: On algebras of algorithms and specifications over uninterpreted data (2018)
  19. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: An inference system of an extension of Floyd-Hoare logic for partial predicates (2018)
  20. Jaeger, Peter: Introduction to stochastic finance: random variables and arbitrage theory (2018)

1 2 3 ... 18 19 20 next