大学の過去問をLeanで形式化+証明する
#Fleeting_Notes
大学の過去問をLeanで形式化+証明する(Formalize and prove university past exam problems using Lean)
過去問
https://mikiotaniguchi.com/main/1/k1_220meidai_no_syoumei_main.htm
確認用
Q. 大学の過去問をLeanで形式化+証明する
調査用
Google.icon
大学の過去問をLeanで形式化+証明する(日)
Google.icon
Formalize and prove university past exam problems using lean(英)