m0_63736660的博客

原创 求lean4人才，一题50-100不等

将图中题目和答案转成lean4语言，要求代码完整无报错可运行，且完全按照所给图片答案逻辑，后面还会有单子，可长期合作[斜眼R]，有意向私我[蹲后续H]，急 #lean4 #计算机 #编程 #mathlib #初高中数学。