Reimplementing Mizar in Rust - Carneiro, Mario (arXiv.org)