Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)
Primary LanguageObjective-C++