Mathlib is the open-source community mathematical library developed for the Lean theorem prover

Bb5a31f81Topic

Science

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

2,055 claims·1 news story

0