Avatar

Brandon Gomes
@bhgomes

bhgomes dostává 0,00 US$ za týden od 0 mecenášů.

Propojené účty

bhgomes vlastní na jiných platformách následující účty:

Repozitáře

jensen 0 Upraveno před 7 měsíci

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 Upraveno před 9 měsíci

Riemann Hypothesis in Lean

Společenství

Historie

bhgomes se přidal před 2 lety.

Income Per Week (in US Dollar)

Počet mecenášů týdně

Překlad této stránky do jazyka čeština ještě není hotový.