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