Mathlib maintainers require mathematical contributions to be structured around appropriate conceptual abstractions rather than brute-force proofs of specific instances

Bb5a31f81Topic

Science

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

2,055 claims·1 news story

0