ExisteUnDelta
existeundelta
\lim_{x \to a}f(x) = l \iff \forall \quad \varepsilon > 0 \quad \exists \quad \delta ( \varepsilon) >0\quad /\quad si \quad 0<|x-a|< \delta \to |f(x)-l|< \vare
Barcelona
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Shyamal Chandra | (श्यामल चंद्र)
shyamalschandra
Chief Engineer (Manager), @Sapana-Micro-Software & Sole Tech. Fndr. & Chess Player, @lichess-org & @ucla Bruin & Pitt Panther & Carnegie Mellon Tartan 4 ♾️!
Sapana Micro Software 🌙💭👩💻, Domino Data Systems, Crankshaft News Pittsburg, KS, USA