The development of geometry in humans

An informal introduction to formality: theorem proving and dependent types in Lean 4

To learn for free on Brilliant, go to https://brilliant.org/braintruffle/ . You'll also get 20% off an annual premium subnoscription.
How a Seemingly “Wrong” Code Flip Changed Space Calculations


Exclusive coding tutorials & videos on many other topics
ht…

Explore a shape that can’t pass through itself, a teenage prodigy, and two new kinds of infinity.