system

“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, also and about an alternative implementation in Rust. Mizar is indeed "scarcely advertised", but all the informat…”