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