Profilbildo

Brandon Gomes
@bhgomes

bhgomes ricevas US$ 0,00 semajne de 0 donacantoj.
Donaci  

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

Historio

bhgomes aliĝis antaŭ 1 jaro.

Semajna enspezo (en Usona dolaro)

Nombro de donacantoj semajne