16/01/2021 (things i learned)
- Found the books for constructive analysis!
- intuitionistic philosophy is so pleasant to read
- proved 2 affine geometry codewars lean problems!
- solved mandelbrot sequence question from RAACA.djvu in Lean!
- synthetic geometry on lean is cooool
- the public keeps moving, everyone's just a small person
- nuclear powered football field sized tensegrity ball?
- new subject where everything is unfamiliar hard to start
  but keep searching, and you'll soon piece everything together