2023.10.21
https://gyazo.com/effc2599ab71f9abf7e4cf444c74c32e
前：
2023.10.20
後：
2023.10.22
#日報
メモ
ファンタジーの世界に独特な鉱物や植物の名前があったとき、その名前に由来した人名もあったりするハズなのだが，そういう例がパッと思いつかない．
メモ
Telence Tao
が
Lean 4
を触っている．
https://github.com/teorth/symmetric_project
まず
GitHub
にアカウントあるんだという驚きがあった