TY  - RPRT
TI  - Reimplementing Mizar in Rust
AU  - Mario Carneiro
PY  - 2024
UR  - https://arxiv.org/abs/2304.08391
ID  - 2304.08391
ER  -