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

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

• 外包信息请发到 /go/outsourcing 节点。

• 不要把相同的信息发到不同的节点

这是一个创建于 80 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

3 条回复 • 2025-06-19 23:15:05 +08:00

1

oploverliu2012

79 天前 via Android

有兴趣绿色 bWFrb3RvMTI2Cg==

2

clovis

78 天前

这是干啥的

3

EgT

OP

78 天前

@clovis 做 IMO 题的形式化证明

关于 · 帮助文档 · 自助推广系统 · 博客 · API · FAQ · 实用小工具 · 2812 人在线 最高记录 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 21ms · UTC 02:20 · PVG 10:20 · LAX 19:20 · JFK 22:20
Developed with CodeLauncher
♥ Do have faith in what you're doing.