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