twk · danabra.mov/overreacted@096fe5b

danabra.mov / overreacted

fork atom

my blog https://overreacted.io

fork atom

twk

danabra.mov 6 months ago 096fe5bb d6f96f38

+1 -1

1 changed file

expand all

unified split

public

beyond-booleans

index.md

+1 -1

public/beyond-booleans/index.md

··· 419 419 420 420 ### P.S. 421 421 422 - If this got you curious about Lean, go play the [Natural Number Game](https://adam.math.hhu.de/#/g/leanprover-community/nng4)! At least for a few minutes. It's weirdly addictive, plus you already know how to solve [Level 0](https://adam.math.hhu.de/#/g/leanprover-community/nng4/world/Tutorial/level/0). 422 + If this got you curious about Lean, go play the [Natural Number Game](https://adam.math.hhu.de/#/g/leanprover-community/nng4)! At least for a few minutes. It's weirdly addictive, plus you already know how to solve Level 1.