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