GitHub repository: tirix/set.mm
Primary language: HTML
Description: Metamath source file for logic and set theory