search

digama0 / mizar-rs

Alternative Mizar proof checker (http://mizar.org/) written in Rust
GNU General Public License v3.0
47 stars 4 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated