Kevin Buzzard adopted the Lean theorem prover to formally verify research papers and establish certainty regarding the correctness of modern mathematical literature

Bb5a31f81Topic

Science

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

2,055 claims·1 news story

0