Metamath source file for logic and set theory
Primary LanguageObjective-C++Creative Commons Zero v1.0 UniversalCC0-1.0
