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

snapchat
Seen from United States
edging
Seen from Turkey
เย็ดนักศึกษา
Seen from Thailand
amatör #türk
Seen from Netherlands
ballbusting
Seen from India
snapchat()+filter:native_video
Seen from United Kingdom
ladyboy
Seen from Germany
jovencita
Seen from Brazil
minichat
Seen from France
มมสนัดเย็ด
Seen from Thailand

Trends for you

1
Lindsey Graham
Under 10K tweets
2
Louise Lucas
Under 10K tweets
3
Luka
Under 10K tweets
4
Bond
Under 10K tweets
5
Josh Simmons
Under 10K tweets
6
#NINGNINGShines24ever
Under 10K tweets
7
$MRNA
Under 10K tweets
8
Kidnapped
Under 10K tweets
9
Airbnb
Under 10K tweets
10
john mulaney
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