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