GitHub repository: EllenArlt/xena
Primary language: Lean
Description: Lean Library currently studying for a degree at Imperial College