digama0/mizar-rs

Alternative Mizar proof checker (http://mizar.org/) written in Rust

语言：Rust · GitHub 星标：67 · Fork：8

在 GitHub 上查看原仓库