A system for formalizing and proving mathematical theorems inspired by Metamath
Primary LanguageObjective-C++MIT LicenseMIT