In September 2024, Terence Tao launched Equational Theories, an open collaborative project mapping implications among algebraic laws using Lean

Science

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

2,055 claims·1 news story

26 claims