In 2017, Kevin Buzzard formalized the definition and basic properties of complex numbers in Lean and submitted them to Mathlib

Science

The systematic study of the natural world through observation, experiment, and theory.

2,055 claims·1 news story

26 claims