Lean
Users following leanprover
Alexandre
Dpbm
Hi, I'm Alexandre Aka Dpbm.
I'm a Brazilian developer.
In love with quantum computers 😍
Brazil
Joe Hoye Dow
MaybeBio
Shanghai Jiao Tong University/major in bioinformatics.
A beginner FOR everything
Shanghai Jiao Tong University Shanghai
Aiko Ryu
aikoryu
Hello, Aiko here! Welcome to my space! I am particularly interested in type theory, array programming languages, and provers.
Here
rake
0xRake
"You can only get smarter by playing a smarter opponent."
(Fundamentals of Chess, 1883)
Zurich
Atticus Kuhn
AtticusKuhn
Computer Science Student at Trinity College, Cambridge
Cambridge, United Kingdom
Garima Sikka
garimasikka
AI Systems Engineer |
Always learning & growing. Keep smiling.
|| वसुधैव कुटुम्बकम् || 🤍
Earth, Sol, MW⊙, LG, Laniakea, ΛCDM (Obs.)
Qiang (Brandon)
astrowq
I explored the secrets of the Universe, now I'm exploring the secrets of AI.
@anyin-ai @baryonsci @CausaPrimaAI Munich
Alexander Ereshkin
AlexEreh
CTF Player & Golang SWE.
50938EF2FD8506C98242F46131344F4EB6B073D7 @ keys.openpgp.org
Wildberries & Russ Voronezh, Russia
Gabriel Saldanha
DisistiNao
Science Computer Student at UFOP
Computer Network Technician at CEFET-MG
Ufop Ouro Preto, MG
PreviousNext