leanprover-community
Users following leanprover-community
Shunsuke Ikadai
takei-batu
Under graduate student.
My interest: mathematical logic (proof theory, non classical logic)
Tokyo University of Science Tokyo, Japan
Lumi
oxlumi
research at @defi-wonderland | privacy maximalist, cryptography enthusiast
@defi-wonderland Buenos Aires
Claudia González
cloxcl
Estudiante de Matemáticas, especializada en Ciencias de la Computación.
Spain
Vladyslav Shevchenko
astrochemx
🚀 JS/TS, C#, R, Python; basic Rust, C++ | Bridging Technology with Medical Data and Education | MD, PhD in Medicine 🧬
Hobbyist Universe
Giacomo La Scala
jack-lascala
DPhil Mathematical Institute @ Uni of Oxford | Maths & CS, Theoretical Physics @ Imperial College London
University of Oxford Oxford, UK
Barış Akkol
BarisAkkol
I'm a math student who is interested in coding.
[email protected]
Galatasaray University Istanbul
ljaniec
ljaniec
Robotics software & AI/ML developer, PhD Student with focus on multi-robot systems
Wrocław University of Science and Technology Wrocław, Poland
luifrancgom
luifrancgom
Economist interested in Data Science (Learning: Statistical Learning, R-πthon, Micro and Macroecon)
Bogota, Colombia
Ariel
arixx02
I'm a computer engineering student, i really like math, and enjoy software and hardware all the same.
Nicolas Krause
FuzzyBunnys
Electrical Engineer in training who loves math and tinkering.
Calgary, Canada
PreviousNext