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)
Proxy Information
- Original URL
- gemini://gemlog.blue/users/jiaming/1611079105.gmi
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 665.6546 milliseconds
- Gemini-to-HTML Time
- 0.176186 milliseconds
This content has been proxied by September (ba2dc).