微微信用户sa1X7k101天前 · 北京市找合作伙伴数学形式化项目合作伙伴，希望掌握lean语言 合作方式：线上协作 时间投入：灵活安排 技能要求：有数学基础愿意学习Lean、精通Lean、熟悉Lean 期望地点：不限 沟通频率：根据项目进展000打招呼
