2023.10.03
https://gyazo.com/ae3e743f89dc7951a83681724cca9dd3
前：
2023.10.02
後：
2023.10.04
#日報
メモ:
LW; "23/10/3『粛聖!!ロリ神レクイエム☆』はロリコンソングではありません"
https://saize-lw.hatenablog.com/entry/2023/10/03/190000
粛聖!!ロリ神レクイエム☆
メモ:
JLimperg/aesop
aesop
便利すぎワロタと思いながら
Lean 4
自明な証明を全部自動化させている
https://github.com/JLimperg/aesop
みなさんも自明すぎる証明を自動化してみてくださいね