GitHub repository: ImperialCollegeLondon/condensed-sets
Primary language: Lean
Description: Condensed mathematics in Lean