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

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

1 2 3 ... 17 18 19 next

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

1 2 3 ... 17 18 19 next