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