Jabrhm
I only learn programming for Coq and I'm already suffering.
WHY THE INDUCTIVE TYPES DO NOT HAVE AN EXPLICIT INDUCTION RULE????
Mexico
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Nyx Neptune
nyxneptune
Nerdy (pure maths, OS development, cryptography).
Aroace, pseudonym-user. Likes visual novels.
Native German and English speaker, toki pona enjoyer.
UK
Yaël Dillies
YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.
Stockholm Universitet Stockholm
Mikayla
yoylecake
i program for fun i guess.
pfp made by https://twitter.com/cloudgulls
Your mum's house
Pintilie Sebastian Marian
gitRaiku
<Insert brag about olympiad results here>
Discord: raiku_
Galati, Romania
Nat Alison
tesseralis
I am a very very creative app but it seems to have work hard and it doesn't even open. (written using predictive text)