3 ms·
Mizar is actually available under a GPL 3 license (thus FLOSS) from https://github.com/MizarProject/system https://github.com/MizarProject/system . There's an e
by zozbot234 1y ago
Mizar is actually available under a GPL 3 license (thus FLOSS) from https://github.com/MizarProject/system https://github.com/MizarProject/system . There's an experimental Rust reimplementation that's at least 5x faster than the original: https://github.com/digama0/mizar-rs https://github.com/digama0/mizar-rs