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

Showing results 421 to 439 of 439.
Sorted by year (citations)

previous 1 2 3 ... 20 21 22

  1. Farmer, William M.; Guttman, Joshua D.: A set theory with support for partial functions (2000)
  2. Harrison, John: High-level verification using theorem proving and formalized mathematics. (Extended abstract) (2000)
  3. Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker: Agent-oriented integration of distributed mathematical services (1999)
  4. Pfenning, Frank (ed.): Special issue: Formal proof (1999)
  5. Rudnicki, Piotr; Trybulec, Andrzej: On equivalents of well-foundedness. An experiment in MIZAR (1999)
  6. Syme, Don: Three tactic theorem proving (1999)
  7. Zammit, Vincent: On the implementation of an extensible declarative proof language (1999)
  8. Schwarzweller, Christoph: MIZAR verification of generic algebraic algorithms (1997)
  9. Andrews, Peter B.; Bishop, Matthew: On sets, types, fixed points, and checkerboards (1996)
  10. Agerholm, Sten; Gordon, Mike: Experiments with ZF set theory in HOL and Isabelle (1995)
  11. Konikowska, Beata: Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus (1993)
  12. Blikle, Andrzej: Three-valued predicates for software specification and validation (1991)
  13. Mostowski, Marcin: The relational semantics for branched quantifiers (1987)
  14. Rudnicki, Piotr; Drabent, Włodzimierz: Erratum to: Proving properties of Pascal programs in MIZAR 2 (1986)
  15. Rudnicki, Piotr; Drabent, Włodzimierz: Proving properties of Pascal programs in MIZAR 2 (1985)
  16. Trybulec, Andrzej; Blair, Howard A.: Computer aided reasoning (1985)
  17. Leszczylowski, Jacek; Rudnicki, Piotr: Computer assisted reasoning (1983)
  18. Prazmowski, Krzysztof; Rudnicki, Piotr: MIZAR MSE primer, a draft (1983)
  19. Rudnicki, Piotr; Drabent, Wlodzimierz: Proving properties of Pascal programs in MIZAR 2 (1983)

previous 1 2 3 ... 20 21 22