The Complex Number Game. Make the complex numbers in Lean. - View it on GitHub