首页 注册 登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
• 外包信息请发到 /go/outsourcing 节点。
• 不要把相同的信息发到不同的节点
EgT
V2EX  ›  酷工作

Lean 远程兼职 数学，计算机相关

  •   
  •   EgT · 1 天前 · 770 次点击

    工作: 使用 Lean4 形式化数学竞赛题目的解题过程 需要会 Lean 和 mathlib

  • lean
  • 远程兼职
  • 数学
    1 条回复  •  2025-06-18 17:04:07 +08:00
    oploverliu2012
        1
    oploverliu2012  
       21 小时 9 分钟前 via Android
    有兴趣 绿色 bWFrb3RvMTI2Cg==
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5653 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 20ms · UTC 06:14 · PVG 14:14 · LAX 23:14 · JFK 02:14
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.