2026.03.13
https://gyazo.com/ee273582106d47a60be1100e2c368e82
前：
2026.03.12
後：
2026.03.14
#日報
メモ
Awesome Logic Formalization
Lean
で書くようにした．
Cuelang
などが全然育ちきってない…
nixpkgs
を思い出して良い
思った
Peano算術は有限公理化不可能
メモ
歴史を刻め 日本橋
https://www.youtube.com/watch?v=pnLAV13hwlE
輝く針の小人族
が流れてるラーメン屋何なんだよ