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 1 rokem

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 11 Upraveno před 1 rokem

Riemann Hypothesis in Lean

Historie

bhgomes se přidal před 3 lety.

Příjem za týden (v americký dolar)

Počet mecenášů týdně