GitHub repository: miguelmarco/STG4
Primary language: Lean
Description: Set Theory Game