Lean (@leanprover) — 推特浏览器

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

立即注册

加入集合

Lean

@leanprover

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

52 正在关注 14.3K 粉丝

热门用户

华尔街观察 Xtrader

@cnfinancewatch

140.1K 粉丝

317.3K 粉丝

@Kongkongda5882

39.7K 粉丝

3.4M 粉丝

オリコンニュース

2M 粉丝

ツイッター速報〜BreakingNews

260.1K 粉丝

101.7K 粉丝

吴说区块链

@wublockchain12

182.9K 粉丝

4.3M 粉丝

中國新聞社

549.7K 粉丝

PR TIMESテクノロジー

28.3K 粉丝

578.2K 粉丝

allincrypto 熬鹰资本 🇨🇳

194.9K 粉丝

111K 粉丝

一劍浣春秋

233.1K 粉丝