Skip to content

@leanprover Lean

Users following leanprover

@mmrahmanbappi
MM Rahman Bappi mmrahmanbappi
Technical SEO consultant and web developer, 15 years of experience

MMSEO Kushtia, Bangladesh

@ErickFP7314
Erick Luis Flores Paz ErickFP7314

Bolivia

@rbhuksin
Tanmoy Talukdar rbhuksin

Guwahati

@chandan0815
Chandan chandan0815
@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@skwh54
Jaehyeon Shin skwh54
@DrZhouKarl
Karl Zhou DrZhouKarl
AI Engineer, PhD.

Xiaomi beijing

@leo-smi
Leandro de Oliveira leo-smi
Elec. Eng.

UTFPR Brazil

@zeyaddeeb
Zeyad Deeb zeyaddeeb

New York, NY

@s-gassama
Salimou GASSAMA s-gassama

Geneva

@twoknow
Mingzhi ZHANG twoknow
Maths PhD student
@Rohith-Rongali
Rohith Rongali Rohith-Rongali
@Funkematics
Christopher Munoz Funkematics
miscellaneous.

UAF Geophysical Institute Research Computing Systems Fairbanks, Alaska

@nickhernd
Nicklay Mashkov nickhernd

Alicante, Spain

@zhengwaihongben
zhengbenhong zhengwaihongben
Zhejiang University, School of Mathematics | Male XY | Heterosexuals | born in 2006

HangZhou, China; Macau SAR, China

@gitsofian
Sofiane gitsofian
*Data Scientist | Web Developer | IT Support* I'm a tech enthusiast specializing in data science, web development, and IT Support and Technician Rollout.

private Deutschland

@BiphasicRyan
Ryan Duan BiphasicRyan

Amazon New York, New York

@zhenyuanzhou
Zhenyuan Zhou zhenyuanzhou
@ashm-dev
Shamil ashm-dev
Software Engineer at @kartochka

@kartochka Dagestan

@u7f8au7fbd
羊羽ちゃん u7f8au7fbd

SEI-info Neo Osaka

@UMMAN2005
Umman Mammadov UMMAN2005
CNCF Golden Kubestronaut ⎈ | Platform & DevOps Engineer | OSS Contributor

AzInTelecom LLC Baku, Azerbaijan

@mhamido
Mahmoud M. Hamido mhamido

Kaiserslautern, Germany

@xsank
xsank xsank
i am always on my way...

Alibaba Hangzhou, China

@RobertoOno
RobertoOno
@grimaldijoao
João grimaldijoao

Brazil

@azi-oai
azi-oai
@antodima
Antonio Di Mauro antodima
AI/ML Engineer
@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@gokul-pv
Gokul gokul-pv
I am a Machine learning enthusiast in pursuit of creative solutions for real-life challenges.

Stuttgart, Germany

@cabersdev
Giovanni Caberlotto cabersdev
Software Engineer and Data Scientist Statistics Student at @unipd

IG Solutions Padova, Italy

@ATEF46
ATEF46
@miguelangelorocha
Miguelângelo Faria Rocha miguelangelorocha
@noonomyen
Nomyen Arthit Saikanok noonomyen
Hmm, what should I do today?

Ubon Ratchathani Rajabhat University Thailand

@RichardMilos233
Liao Tianrui RichardMilos233
@Takemikazuchi-1
MIKAMI Sota Takemikazuchi-1
@Khurramcoder
Khurram Pervez Khurramcoder
@SergeyDolin
Sergei Dolin SergeyDolin
Ph.D. Researcher at Research Institute of Strategic Development SSUGT

SSUGT Novosibirsk

@HyoSeop1488
Hyo_Seop HyoSeop1488
Biomedical Engineering student | Bridging biology and technology through code | Learning to build for healthcare

Yogyakarta, Indonesia

@marozols
Māris Ozols marozols
I am an associate professor at the University of Amsterdam and a researcher at QuSoft working in the field of quantum computing.

QuSoft Amsterdam, Netherlands

@Charlie-Wang-03
Yichuan Wang Charlie-Wang-03
M.S. student in Applied Mathematics at Fudan University | Neural Operators · Scientific Machine Learning · AI4Science

Fudan University Shanghai, China

@sipetit
Simon PETIT sipetit
Senior Software Development Engineer & DevOps

Sopra Steria Clermont-Ferrand, France

@Benovitch83
Benovitch83
@Saurabh2108
Saurabh Saurabh2108
Educator and Researcher

NIT Raipur Raipur

@githubwangsibo
wangsibo githubwangsibo
@raphaelshirley
Raphael Shirley raphaelshirley
Astronomer at the Max Planck Institute for Extraterrestrial Physics. Surveys, Bayes, machine learning...

Max Planck Institute for Extraterrestrial Physics Germany

@ShawkyHanna
Shawky_Hanna ShawkyHanna
A multi-talented designer and creator with internationally recognized and extensive IT certifications and skills in the field of CNC Special Design
@sakinu
sakinu9487 sakinu

NCKU CSIE

@gouda2011
Ashraf Gouda gouda2011
@icarosadero
Ícaro icarosadero
I solve for x
@itIsJim
Jun itIsJim

Torino