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