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

Showing results 1 to 20 of 372.
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. I (2018)
  9. Coghetto, Roland: Klein-Beltrami model. II (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. Grabowski, Adam: Sequences of prime reciprocals. Preliminaries (2018)
  13. Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola: Implementation of the composition-nominative approach to program formalization in Mizar (2018)
  14. Jaeger, Peter: Introduction to stochastic finance: random variables and arbitrage theory (2018)
  15. Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola: Kleene algebra of partial predicates (2018)
  16. Maletzky, Alexander; Immler, Fabian: Gröbner bases of modules and faugère’s (F_4) algorithm in Isabelle/HOL (2018)
  17. Müller, Dennis; Rabe, Florian; Kohlhase, Michael: Theories as types (2018)
  18. Pąk, Karol: Diophantine sets. Preliminaries (2018)
  19. Paulson, Lawrence C.: Computational logic: its origins and applications (2018)
  20. Acewicz, Marcin; Pąk, Karol: Pell’s equation (2017)

1 2 3 ... 17 18 19 next