Avatar

Brandon Gomes
@bhgomes

bhgomes dostává 0,00 US$ za týden od 0 mecenášů.
Přispívejte   PayPal

Propojené účty

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

Repozitáře

jensen 0 Upraveno před 2 lety

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 13 Upraveno před 2 lety

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ě