Lean (@leanprover) — 推特浏览器

注册并分享邀请链接，可获得视频播放与邀请奖励。

立即注册

Lean

@leanprover

Lean is a dependently-typed programming language and theorem prover.

49 正在关注 11K 粉丝

热门用户

狗爹和小桃（主页完整)

38.7K 粉丝

869.6K 粉丝

108.9K 粉丝

一劍浣春秋

229K 粉丝

226.6K 粉丝

彭博商業周刊 / 中文版

40.9K 粉丝

171K 粉丝

李老师不是你老师

@whyyoutouzhele

2.2M 粉丝

1.9M 粉丝

Fan Bingbing 范冰冰

@realBingbingFan

375.2K 粉丝

Natsume✨枣糕

1.2M 粉丝

东京不太热

286K 粉丝

绿帽俱乐部

415K 粉丝

16.3K 粉丝

31.2K 粉丝