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