Mizar

Mizar is a leading brand in the field of Interactive Theorem Proving, offering a state-of-the-art Mizar System and a comprehensive Mizar Mathematical Library. Their cutting-edge products are used for the formalized development of mathematics and have a wide range of applications. Mizar has a rich history, celebrating 40 years of groundbreaking innovation since its inception in 1973. The brand continues to push boundaries, with the latest Mizar Version 8.1.11 and MML Version 5.68.1412, demonstrating their commitment to staying at the forefront of the industry.

Mizar is also known for its active involvement in organizing and hosting conferences, such as the upcoming 14th Conference on Interactive Theorem Proving (ITP 2023) in Bialystok, Poland. In addition, they have published influential survey papers that contribute to the advancement of interactive theorem proving. Mizar's dedication to research, development, and collaboration highlights their position as a major player in the field of formalized mathematics.