Lean (@leanprover) — Twitter ブラウザ

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

今すぐ登録

Lean

@leanprover

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

49 フォロー中 11K ファン

人気のあるユーザー

一劍浣春秋

229K ファン

5.9K ファン

33.1K ファン

354.3K ファン

212.6K ファン

♥愛葉るび♡Ruby♥👑💿全力元年🎶配信中

3.3K ファン

希島あいり💐:*.

1.4M ファン

1.9M ファン

Natsuko夏夏子💕C107(水)東7 T-11b

285.9K ファン

3M ファン

真島なおみ

699.2K ファン

ねね🐻‍❄

370.6K ファン

ケイン・ヤリスギ「♂」

542.3K ファン

1.5M ファン

明日花キララ🏰🐇

2.4M ファン