A tool for automatically proving Metamath theorems using ATPs
Primary LanguageRust
No one’s watching this repository yet.