Home Sign Up Sign In
• 外包信息请发到 /go/outsourcing 节点。
• 不要把相同的信息发到不同的节点
EgT
V2EX  ›  酷工作

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

  •   
  •   EgT · Jun 17, 2025 · 2708 views
    This topic created in 337 days ago, the information mentioned may be changed or developed.

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

  • lean
  • 远程兼职
  • 数学
    3 replies  •  2025-06-19 23:15:05 +08:00
    oploverliu2012
        1
    oploverliu2012  
       Jun 18, 2025 via Android
    有兴趣 绿色 bWFrb3RvMTI2Cg==
    clovis
        2
    clovis  
       Jun 19, 2025
    这是干啥的
    EgT
        3
    EgT  
    OP
       Jun 19, 2025
    @clovis 做 IMO 题的形式化证明
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   1515 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 46ms · UTC 16:57 · PVG 00:57 · LAX 09:57 · JFK 12:57
    ♥ Do have faith in what you're doing.