An Overview of the MIZAR Project

  title={An Overview of the MIZAR Project},
  author={Piotr Rudnicki},
The Mizar project is a long-term eeort aimed at developing software to support a working mathematician in preparing papers. A. Trybulec, the leader of the project, has designed a language for writing formal mathematics. The logical structure of the language is based on a natural deduction system developed by Ja skowski. The texts written in the language are called Mizar articles and are organized into a data base. The Tarski-Grothendieck set theory forms the basis of doing mathematics in Mizar… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.

447 Citations

Citations per Year
Semantic Scholar estimates that this publication has 447 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Nèdzusiak. Real exponents and logarithms

  • Konrad Raczkowski, Andrzej
  • Formalized Mathematics,
  • 1991
1 Excerpt

Basic properties of real numbers

  • Krzysztof Hryniewiecki
  • Formalized Mathematics,
  • 1990
1 Excerpt

Binary operations applied to functions

  • Andrzej Trybulec
  • Formalized Mathematics,
  • 1990
1 Excerpt

Swièczkowska. Boolean properties of sets

  • Zinaida Trybulec, Halina
  • Formalized Mathematics,
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…