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