2023.12.10
https://gyazo.com/39d6fabb47b69f7ed48a6b4089e7599b
前:
2023.12.09
後:
2023.12.11
#日報
メモ
https://github.com/iehality/lean4-logic/blob/3d7662b209236e7f6de832a9e589de72436e05d9/Logic/AutoProver/Prover.lean
命題論理
の
自動証明
が形式化された
これによって私の書きたかった記事はもういいのでは…となってしまった
メモ
OTOMADB
のタグのカテゴライズ方法を変えた.