Brandon Gomes
@bhgomes

bhgomes mottar 0,00 US$ per vecka från 0 bidragsgivare.

Donera

Länkade konton

bhgomes äger följande konton på andra platformar:

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon)

Källkodsarkiv

jensen Stjärnor 1 Uppdaterad för 3 år sedan

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Stjärnor 44 Uppdaterad för 5 år sedan

Riemann Hypothesis in Lean

Historik

bhgomes gick med för 7 år sedan.

Inkomst per vecka (i amerikansk dollar)

Antal bidragsgivare per vecka

Den här sidan innehåller maskinöversatt text som ännu inte har granskats och som kan vara felaktig. Du kan också bidra.