Brandon Gomes
@bhgomes
Conturi conectate
bhgomes deține următoarele conturi pe alte platforme:
Depozite
jensen Stele 0 Actualizat acum 10 luni
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Stele 35 Actualizat acum 3 ani
Riemann Hypothesis in Lean
Istoric
bhgomes s-a alăturat acum 5 ani.