Alternative Mizar proof checker (http://mizar.org/) written in Rust
- Recommended by
- 1
- GitHub stars
- 67
- Licence
- GPL-3.0
- Language
- Rust
- Last commit
- 29 Aug 2026
What people said
“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…”
Not software, abandoned or listed by mistake? Report this listing