GitHub repository: ImperialCollegeLondon/complex-number-game
Primary language: Lean
Description: The Complex Number Game. Make the complex numbers in Lean.