NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Learning diary › Year 2023 › September to December, 2023 [2023-09~12]
✍️source

     
    I was working on Lean related projects during this period, my readings are partially reflected in my Lean 4 Playground, but most of the time I was reading Lean's Zulip Chat messages. Maybe one day I should archive my stars on Zulip Chat.