Skip to content
View leodemoura's full-sized avatar

Organizations

@leanprover @IMO-grand-challenge

Block or report leodemoura

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@sylvaincom
Sylvain Combettes sylvaincom
PhD • Senior ML Product Engineer @probabl-ai • Lecturer at Polytechnique & CentraleSupélec Exed

@probabl-ai Paris, France

@fraidev
Felipe Cardozo fraidev
git gud

@infinyon Macaé - Rio de Janeiro

@WhiteSymmetry
Mehmet Keçeci WhiteSymmetry
Physicist (Completed the dissertation phase of the Ph.D. in Physics) <M|ehme|t><K|eçec|i> #FreeGaza

Türkiye

@celainica
celainica
Undergraduate / Major in Mathematics Interested in exploring the essence of "the Math instinct".

Shenzhen, China

@lframosferreira
Luís Felipe Ramos Ferreira lframosferreira
plebeu ocioso e entusiasta dos memes

Universidade Federal de Minas Gerais Belo Horizonte

@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@padeir0
Iure Vianna padeir0
Mathematics undergraduate @ UFF

Volta Redonda, RJ, Brasil

@aaspeel
Antoine Aspeel aaspeel
I am a postdoc in control and optimization

CentraleSupélec Paris

@janmasrovira
Jan Mas Rovira janmasrovira
Compilers, types and programming for fun

Heliax Barcelona

@notarealdeveloper
Jason Wilkes notarealdeveloper
This is not a bio.

@thedynamiclinker San Diego, CA

@bongjunj
Bongjun Jang bongjunj
I type and verify.

Daejeon, Republic of Korea

@ndrwnaguib
Andrew Naguib ndrwnaguib

University of Waterloo Waterloo, ON

@jellyterra
Jelly Terra jellyterra
Focus on architecture, formal, compiler and HLS. Qed.

Gensokyo Silicon East China

@Larovitchhh
Larovitchhh Larovitchhh
Building onchain. Building on base
@fabinzne
Fabiano Luiz fabinzne
I like animes and I work as Software Engineer

CI&T Belo Horizonte, Brasil

@hd1fernando
Fernando Gonçalves hd1fernando

Symplicity Belo Horizonte

@dev-0911
Angry Dev dev-0911
I am a front-end developer
@kjusino
Kenneth Jusino kjusino
Senior Software Engineer, Technical Lead, Software Engineering Manager. Interested in computation, mathematics, and physics.
@miguelfs
Miguel de Sousa miguelfs
Electrical Engineering Msc Student @ COPPE - Universidade Federal do Rio de Janeiro.

Rio de Janeiro, Brazil

@GodelianSentence
AnalyticSort GodelianSentence
Formal methods enthusiast and wannabe logician.
@CarlosZiegler
Carlos Ricardo Ziegler CarlosZiegler
Typescript and AI Enthusiast

Payrollers GmbH Berlin

@emadgit
Emad Dehnavi emadgit
Software Engineer

Berlin

@karimshaban01
Karim S. Haruna karimshaban01
Software Developer | Network & Cloud Services

ARUSHA, TANZANIA

@taaviroivas
Taavi Roivas taaviroivas
Blockchain & Cryptocurrency Expert.
@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@0joseDark
jose 0joseDark
lover of science, biology and robotics, and programming is fun

Barreiro, Portugal