19/01/2021 (things i learnd)

- Lean is awesomeee, can prove so many things

- Proved equals (Constructive Analysis) is equivalence relation

Harder than expected, had to shift mindset to understand

- Coq has tones of constructive stuff

- my dreams are adventurous today (and hv been recently if i rmb korekt)