Sotwe logo Sotwe logo

Top Tweets for #lean4challenge

Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Lean 4 challenge 4: There are infinitely many prime numbers. https://t.co/RXHf81pOA6 #LeanProver #ITP #Math #Lean4Challenge
Jose_A_Alonso's tweet photo. Lean 4 challenge 4: There are infinitely many prime numbers. https://t.co/RXHf81pOA6 #LeanProver #ITP #Math #Lean4Challenge https://t.co/19mpoz4sWY
0
0
0
1
63
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Lean 4 challenge 4: There are infinitely many prime numbers. https://t.co/RXHf81pOA6 #LeanProver #ITP #Math #Lean4Challenge
Jose_A_Alonso's tweet photo. Lean 4 challenge 4: There are infinitely many prime numbers. https://t.co/RXHf81pOA6 #LeanProver #ITP #Math #Lean4Challenge https://t.co/rigpqLgOdR
0
3
0
2
162
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Lean 4 challenge 3: If aₙ converges to L, then 2aₙ converges to 2L. https://t.co/dpJjgPf9XN #LeanProver #ITP #Math #Lean4Challenge
Jose_A_Alonso's tweet photo. Lean 4 challenge 3: If aₙ converges to L, then 2aₙ converges to 2L. https://t.co/dpJjgPf9XN #LeanProver #ITP #Math #Lean4Challenge https://t.co/TrRD7eKBOH
0
1
0
1
271
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Weekly reads: Oct 12 – Oct 18, 2026. https://t.co/p35Lnt84MW #AI #AI4Math #ITP #Lean4Challenge #LeanProver #Math #RetoLean4
0
0
0
0
148
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Lean 4 challenge 24: The sequence 1, -1, 1, -1,... is not convergent (using Challenge 22). https://t.co/D0olQB4JBz #Lean4Challenge #LeanProver #ITP #Math
Jose_A_Alonso's tweet photo. Lean 4 challenge 24: The sequence 1, -1, 1, -1,... is not convergent (using Challenge 22). https://t.co/D0olQB4JBz #Lean4Challenge #LeanProver #ITP #Math https://t.co/ZzKWdzb29Z
0
2
1
0
265
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Solutions to Lean 4 challenge 23: The constant sequence aₙ = L converges to L. https://t.co/urtGrxo5Q6 #Lean4Challenge #LeanProver #ITP #Math
Jose_A_Alonso's tweet photo. Solutions to Lean 4 challenge 23: The constant sequence aₙ = L converges to L. https://t.co/urtGrxo5Q6 #Lean4Challenge #LeanProver #ITP #Math https://t.co/g7ePuAFUyo
0
2
0
1
267
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Challenge 2: The sequence 1, -1, 1, -1,... is not convergent. https://t.co/o5fZEbdVI5 #LeanProver #ITP #Math #Lean4Challenge
Jose_A_Alonso's tweet photo. Challenge 2: The sequence 1, -1, 1, -1,... is not convergent. https://t.co/o5fZEbdVI5 #LeanProver #ITP #Math #Lean4Challenge https://t.co/W4AY24KfQP
0
13
0
5
547
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Challenge 1: Prove in Lean 4 that the sequence 1/n converges to 0. https://t.co/KuV6DuJUwK #LeanProver #ITP #Math #Lean4Challenge
Jose_A_Alonso's tweet photo. Challenge 1: Prove in Lean 4 that the sequence 1/n converges to 0. https://t.co/KuV6DuJUwK #LeanProver #ITP #Math #Lean4Challenge https://t.co/RCME8KcxHl
0
7
1
7
527

Last Seen Hashtags on Sotwe

burdurgay
Seen from Turkey
Beurette video
Seen from France
minichat filter:videos
kızılaytravesti
Seen from Turkey
granny #nsfw
Seen from Saudi Arabia
candids
Seen from Turkey
caughtoncamera video
Seen from United States
FOLSOM2026
murrsuit blowjob
Seen from United States
anxiouspandaa()+++++++filter:videos

Trends for you

1
Tom Skerritt
Under 10K tweets
2
Lindsey Graham
Under 10K tweets
3
Marines
Under 10K tweets
4
Marnie
Under 10K tweets
5
Viper
Under 10K tweets
6
Cenk
Under 10K tweets
7
LeBron James
Under 10K tweets
8
Ilhan Nur Said Elmi
Under 10K tweets
9
Vanity Fair
Under 10K tweets
10
Bond
Under 10K tweets

Most Popular Users

elonmusk's profile image
1
Elon Musk Verified account
@elonmusk
241.5M followers
barackobama's profile image
2
Barack Obama Verified account
@barackobama
118.8M followers
cristiano's profile image
3
Cristiano Ronaldo Verified account
@cristiano
114.5M followers
realdonaldtrump's profile image
4
Donald J. Trump Verified account
@realdonaldtrump
111.8M followers
narendramodi's profile image
5
Narendra Modi Verified account
@narendramodi
107.1M followers
rihanna's profile image
6
Rihanna Verified account
@rihanna
98.7M followers
nasa's profile image
7
NASA Verified account
@nasa
92.3M followers
justinbieber's profile image
8
Justin Bieber Verified account
@justinbieber
91.8M followers
katyperry's profile image
9
KATY PERRY Verified account
@katyperry
90M followers
taylorswift13's profile image
10
Taylor Swift Verified account
@taylorswift13
84M followers
ladygaga's profile image
11
Lady Gaga Verified account
@ladygaga
75.5M followers
imvkohli's profile image
12
Virat Kohli Verified account
@imvkohli
73.5M followers
kimkardashian's profile image
13
Kim Kardashian Verified account
@kimkardashian
70.9M followers
youtube's profile image
14
YouTube Verified account
@youtube
68.8M followers
neymarjr's profile image
15
Neymar Jr Verified account
@neymarjr
66.5M followers
billgates's profile image
16
Bill Gates Verified account
@billgates
65.3M followers
selenagomez's profile image
17
Selena Gomez Verified account
@selenagomez
63.1M followers
theellenshow's profile image
18
The Ellen Show
@theellenshow
62.2M followers
cnn's profile image
19
CNN Verified account
@cnn
61.7M followers
x's profile image
20
X Verified account
@x
60.7M followers