Brandon Gomes
@bhgomes
Konektitaj Kontoj
bhgomes posedas la jenajn kontojn en aliaj servoj:
Deponejoj
jensen Steloj 0 Ĝisdatigita antaŭ 9 monatoj
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Steloj 36 Ĝisdatigita antaŭ 3 jaroj
Riemann Hypothesis in Lean
Historio
bhgomes aliĝis antaŭ 5 jaroj.