Brandon Gomes
@bhgomes
Konektitaj Kontoj
bhgomes posedas la jenajn kontojn en aliaj servoj:
Deponejoj
jensen 0 Ĝisdatigita antaŭ 2 monatoj
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 7 Ĝisdatigita antaŭ 3 monatoj
Riemann Hypothesis in Lean
Komunumoj
-
qbar
kun 1 alia
-
Open Knowledge
kun 96 aliaj
-
Free Software
kun 502 aliaj
Historio
bhgomes aliĝis antaŭ 1 jaro.