招聘&找人精通lean4 语言+兼职做+600-800/题+时间自由

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