外包   全国 [切换]
HI~请 [登录] [免费注册]
您的位置：首页 > 任务详情
Lean4形式化证明细节处理
  • 雇主：mike
  • 发布时间：2025-08-04
  • 分类：招聘用工
免责声明 该外包需求信息来源于站外平台，本站仅提供公开信息部分字段展示与订阅服务，更多请查看免责声明。
立即联系 发布类似任务

任务详情

我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，题量很大，可以做一段时间

任务附件 (0)

暂无稿件哦！

预期中标

已中标

0

快去分享，提高任务的曝光率吧