💾 Archived View for gemlog.blue › users › jiaming › 1611079105.gmi captured on 2024-07-09 at 04:34:15. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
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)