💾 Archived View for gemlog.blue › users › jiaming › 1614017095.gmi captured on 2022-07-16 at 17:32:00. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
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