Profilbildo

Brandon Gomes
@bhgomes

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

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.

Semajna enspezo (en Usona dolaro)

Nombro de donacantoj semajne