1 Repositories
Rust mizar-rs Libraries
Alternative Mizar proof checker written in Rust
Mizar proof checker This is a (still experimental) proof checker for the Mizar language. To compile the project, get Rust 1.67 or later (https://rustu
16 Apr 13, 2023