GitHub repository: Achaemenid/set.mm
Primary language: Objective-C++
Description: Metamath source file for logic and set theory