22/02/2021
- proved and_push_exists in coq, following youtube tutorial
- No proper easy coq installation for linux??? only outdated one available...
- little nightmares is particularly good for learning Indonesian
- 1997 Asian financial crisis stories & old pioneers of internet
- university may be quite a bit different than i imagined..
  maybe im not that ready for it
- the fact that adults dont know what their doing is REAL loll
  such complex systems are founded on so much cincai-ness it's fascinating
- took a look at the norm_num tactic, meta programming in lean looks AWESOME