Olivia
Online
Nguyen
@SyntaxError90
π Somewhere between logic & creativity
Joined March 2025
15 Following
4 Followers
5 Posts
@YutakangE I canβt seem to DM you.
@YutakangE Hi Yutakang, would you be interested in a consultant role for a project in Isabelle/HOL?
@YutakangE No, but thatβs okay. Happy to connect now.
@0xlustronatury I have sent you a DM.
@0xlustronatury Hi, would you be interested in a consultant role for Isabelle/HOL based project?
Last Seen Users on Sotwe
Darlene Mazzone
Seen from United States
RICO MARLON 
Seen from Mexico
ΓnlΓΌler
joyce
Seen from United States
RenzβοΈ
Seen from United States
Pirat_Nation π΄
Seen from Brazil
Ψ³ΩΩΨ§ΨΩ Ψ§ΩΨ§Ψ¨ΩΩΨ§ΨΩΩΩ
Seen from Turkey
KENTARO
Seen from United States
ΩΩΨ§Ω Ψ³Ψ§ΩΩ
Seen from Saudi Arabia
β‘ π π‘ π² π§ π¨ γ
Seen from United States
Most Popular Users
Elon Musk
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90.1M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers