FormalizedFormalLogic
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Matteo Cipollina
or4nge19
BA Philosophy (Università Cattolica - Milano)
MA Mathematical Logic & Philosophy of Science (Università Cattolica - Milano)
Nho Luong
nholuongut
💁Vietnam DevOps Engineer Lead🇻🇳🇻🇳🇻🇳
🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳Vietnam Timeless Charm 🥰Enjoy Every Moment 🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳😜Good Vibes Only
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Tarcísio Genaro Rodrigues
tarc
I'm mainly focused on C++ development. Lately I've been writing some Python mostly related to CI/CD of C/C++ projects and libraries.
São Paulo, Brazil
Jung Han
junghan0611
Meditations on Technology, Learning, Life with Text-editor #authology #emacs #hangul
NONE
Yosuke Ito
Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)
Sompo Himawari Life Insurance Inc. Tokyo, Japan
