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)