Lean (@leanprover) — 推特浏览器

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

立即注册

加入集合

Lean

@leanprover

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

52 正在关注 13.9K 粉丝

热门用户

260.6K 粉丝

オリコンニュース

1.9M 粉丝

4.2M 粉丝

吴说区块链

@wublockchain12

181.4K 粉丝

@Kongkongda5882

34K 粉丝

100.8K 粉丝

ツイッター速報〜BreakingNews

256.7K 粉丝

23.7K 粉丝

478.6K 粉丝

中國新聞社

547.4K 粉丝

政经鲁社长

733.3K 粉丝

华尔街观察 Xtrader

@cnfinancewatch

129.6K 粉丝

348.8K 粉丝

567.9K 粉丝

20.7K 粉丝