Mizar Home Page14th Conference on Interactive Theorem Proving (ITP 2023) organized by the Mizar team will take place in Bialystok, Poland. Conference dates: July 31-August 4, 2023. A new open-access Mizar and MML survey paper published: The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. In J. Avigad et al. (Eds.), Special Issue: Milestones in Interactive Theorem Proving, Journ
