Lean (@leanprover) — Twitter ブラウザ

登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。

今すぐ登録

コレクションに追加

Lean

@leanprover

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

52 フォロー中 13.9K ファン

人気のあるユーザー

GIGA特撮ヒロイン【公式】

63K ファン

オリコンニュース

1.9M ファン

100.8K ファン

ツイッター速報〜BreakingNews

256.7K ファン

4.2M ファン

568K ファン

ファミ通.com

1.4M ファン

モデルプレス

2.1M ファン

@Kongkongda5882

34K ファン

吴说区块链

@wublockchain12

181.4K ファン

26.4M ファン

中國新聞社

547.4K ファン

MANTANWEB／毎日キレイ

68.9K ファン

一劍浣春秋

231.8K ファン

PR TIMESテクノロジー

28.2K ファン