Reimplementing Mizar in Rust — mentioned by robinzfc

Sun, 08 Feb 2026 08:27:33 GMT

Mizar source was "available upon request" for maybe 30-40 years. It got completely open-sourced under GPL some 3 years ago (maybe earlier, not sure), see [1], also [2] and [3] about an alternative implementation in Rust. Mizar is indeed "scarcely advertised", but all the information is publicly available, who wants to know knows. As for Mizar semantics, see for example [4]. [1] https://github.com/MizarProject/system [2] https://github.com/digama0/mizar-rs [3] https://arxiv.org/pdf/2304.08391v2 [4] https://link.springer.com/article/10.1007/s10817-018-9479-z

Paper and discussion history. A mention is not an endorsement.

Reimplementing Mizar in Rust · HackerPapers discussions

Reimplementing Mizar in Rust — mentioned by robinzfc