2026.07.03
https://gyazo.com/87a2e7fd2be9944e345eef9e5d555cc7
前：
2026.07.02
後：
2026.07.04
#日報
思った
https://github.com/FormalizedFormalLogic/Foundation/pull/833
$ \bf PA
の
$ \Delta_1
定義可能性をClaudeが形式化したという話のPRをマージした．
すごいなー
思った
vibeformalizing
，止め時がわからなくてやばい