An automated formalization of Fermat's Last Theorem using Lean produced 13 million lines of code

Bb5a31f81Topic

Science

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

2,055 claims·1 news story

0