2024.01.16
https://www.youtube.com/watch?v=8jkOPaSUEJw
前：
2024.01.15
後：
2024.01.17
#日報
メモ
Lean 4
で
sorryAx
の入った定理を一覧するスクリプトを作っている．