Brandon Gomes
@bhgomes
Összekapcsolt fiókok
bhgomes a következő fiókokat birtokolja más helyeken:
Tárolók
jensen Csillagok 0 Frissítve 9 hónappal ezelőtt
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Csillagok 36 Frissítve 3 évvel ezelőtt
Riemann Hypothesis in Lean
Előzmények
bhgomes 5 évvel ezelőtt csatlakozott.