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

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

  •   
  •   EgT · 2025 年 6 月 17 日 · 2467 次点击
    这是一个创建于 220 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

  • lean
  • 远程兼职
  • 数学
    3 条回复  •  2025-06-19 23:15:05 +08:00
    oploverliu2012
        1
    oploverliu2012  
       2025 年 6 月 18 日 via Android
    有兴趣 绿色 bWFrb3RvMTI2Cg==
    clovis
        2
    clovis  
       2025 年 6 月 19 日
    这是干啥的
    EgT
        3
    EgT  
    OP
       2025 年 6 月 19 日
    @clovis 做 IMO 题的形式化证明
    关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   1070 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 21ms · UTC 23:38 · PVG 07:38 · LAX 15:38 · JFK 18:38
    ♥ Do have faith in what you're doing.