commit 598bf5e05568342c4c3738617e3b5aff7a24cf13 · danabra.mov/overreacted

danabra.mov / overreacted

my blog https://overreacted.io

fork atom

oops

authored by danabra.mov and committed by GitHub 4 months ago 598bf5e0 817aa71e

options

unified split

Changed files

public

lean-for-javascript-developers

index.md

public/lean-for-javascript-developers/index.md

··· 709 709 710 710 theorem my_theorem : TheLawOfAging := by 711 711 unfold TheLawOfAging 712 + intro cy a 712 713 unfold birthYear 713 714 omega 714 715 ```