招聘: 数学,计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科,研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日均2000+,可谈 时间: 自由,自己安排 周期: 有数据包可持续做
最后修改于大约 1 个月前
懂lean语言是必须要的吗?
是的
现学lean语言可以吗
不行的,需要有经验的
是千问还是豆包在训练啊?
都不是,你这边会lean4吗
可以聊聊
电话没有打通,我加你 了
已发短信短信未回,已加微信请通过
需要数学非常好吗
下载APP以便及时收到回复或进展
懂lean语言是必须要的吗?
是的
现学lean语言可以吗
不行的,需要有经验的
是千问还是豆包在训练啊?
都不是,你这边会lean4吗
可以聊聊
电话没有打通,我加你 了
已发短信短信未回,已加微信请通过
需要数学非常好吗