Top Tweets for #mathlib4
7/n Big thanks to Leonardo de Moura, the #mathlib maintainers and the broader OSS @leanprover community! Let's pool our Lean together!
Repo: https://t.co/Nb33BdJQYD
Docs: https://t.co/uliLrWjDE0
#Lean4 #mathlib4 #formalization
構築完了した部分までをLean 4 + elan + lake + mathlib4 だけでなく、Isabelle/HOL でも独立に確認した！
#Lean4 #mathlib4 #IsabelleHOL #FormalVerification #ITP #CrossVerification
It doesn't have to be like this...
#mathlib4
@HarmonicMath [6/6] All code, all prompts, the timeline, and visualizations of the process: https://t.co/0Vl8Us7CYq. Thanks to @Leonard41111588 for making Lean and thanks to the wonderful maintainers of #mathlib4. without whom this would not be possible. Standing on the shoulders of giants!
Lean4 #2 Mathlib4｜mini micro blog @minimicro_blog
#Lean4 #Mathlib4 #プログラミング言語 #プログラム
https://t.co/76d2I90Nsz
🎉 Defended my Mathematics honors thesis
@AmherstCollege!
📷 #Lean4 Machine-Assisted Proof Framework for Chip-Firing Games & Graphical Riemann–Roch
✅#Mathlib4-based #FormalMethods of chip-firing
✅Python tools for #GraphTheory
More Info: https://t.co/C7GmXR5zGQ
@fermatslibrary import Mathlib.Algebra.BigOperators.Basic
import Mathlib.Tactic.Ring
open BigOperators
open Nat
open Finset
example (n : ℕ) : (∑ i in range n, (2*i + 1)) = n * n := by
induction' n with n hn
· simp only
· rw [Finset.sum_range_succ, hn, succ_eq_add_one]
ring
#mathlib4
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers