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