leanprover-community
Charles Cianos (Charlie)
ccianos
Wassup friends! I'm Charlie a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Working Class, the Poor and the Homeless matter.
Hagginwood, Sacramento, CA
Markus Ferdinand Dablander
MarkusFerdinandDablander
Research Mathematician | Recent Doctoral Graduate, Mathematical Institute, University of Oxford | Theoretical & Applied AI, Machine Learning & Data Science
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin
ewdlop
Hello there! A mathematics enthusiast.
(+1)732-740-5036 Ocean, New Jersey United States of America 07712
Li CHEN
Chenshize0104
I'm a PhD student in Ecology working with plant–mycorrhizal fungi networks and plant-pollinator interaction networks in Invasion Ecology.
CAS (Chinese Academy of Sciences) Kunming, Yunnan, China
edbert Gator (edgar)
edbertkwesiek
i am a Reader and learner @ heart who believes in the power of Quantum and Blockchain technologies to transform society. I love Programming and mathematics.
GHANA
IanWangg
Student at UCLA
Reinforcement Learning | Large Language Models | Automated Theorem Proving
LA
R.A. Jacob Martone
orange-you-glad
Giving oranges and compassion in Radio Park, Fresno. Building monuments of meaning and mathematics — one of them is a spectral proof of RH.
OOI Radio Park
Xoel Couselo
xoelcouselo
👋 Hi, I’m @xoelcouselo
👀 I’m interested in Data Science and Web SaaS Development
🌱 I’m currently Student of Degree in Computational Mathematics💞
Spain, Galician, Santiago de Compostela
Vasig
VasigAG
The least probable existence in the combinatorial space of fundamental particles
Jiabao Ji
Question406
Third-year Phd student at UCSB, Linux lover, TLM/vim user, prev KDE/Archlinux user, now I use Aerospace with Macos
UCSB CA
Mugdha Pokharanakar
mmpokharanakar
Integrated PhD student, Department of Mathematics, IISER Bhopal
Ritinkar Das Bhaumik
RitinkarDB
PhD scholar in Economics.
Decision theory, game theory, behavioural and experimental economics
University of East Anglia Norwich
Linux-Scratcher
Linux-Scratcher
Salut ! Si tu veux savoir qui je suis, check mon README.md !
- Attends, mais il existe encore Linux-Scratcher ?
- Oui, bien sûr ! Il continue à coder !
@Socialteams Occitanie - France
PreviousNext