您的位置:首页 > 任务详情
精通lean4 语言+兼职做+600-800/题+时间自由
  • 雇主:mike
  • 发布时间:2025-07-17
  • 分类:招聘用工
免责声明 该外包需求信息来源于站外平台,本站仅提供公开信息部分字段展示与订阅服务,更多请查看免责声明。

任务详情

招聘: 熟悉lean4语言的高、精、专人才 工作:使用Lean4形式化数学竞赛题目的解题过程 待遇: 600-800元/题,根据难度来 时间: 自由,自己安排 周期: 有数据包可持续做

任务附件 (0)

暂无稿件哦!

预期中标

已中标

0

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