When development began, Mathlib contained approximately 30,000 lines of code covering basic undergraduate definitions and finite sets without real numbers

Bb5a31f81Topic

Science

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

2,055 claims·1 news story

0