I'm really impressed by this Lean notebookhttps://observablehq.com/@bryangingechen/fibonacci-formalized-1-some-sums …
Replying to @derKha
Thanks Sebastian, I had a lot of fun making it! Hope others give it a shot too...
5:55 AM - 29 Jul 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.