A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

For those unaware of this neat little mathematical curiosity, the "wobbly table theorem" is kind of an application of the broader intermediate value theorem, a corollary of which basically says that ...