Avatar

Brandon Gomes
@bhgomes

bhgomes rep setmanalment 0,00 USD de 0 mecenes.

Comptes enllaçats

bhgomes té els següents comptes en altres plataformes:

Repositoris

jensen 0 Actualitzat fa 1 any

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 11 Actualitzat fa 1 any

Riemann Hypothesis in Lean

Historial

bhgomes es va unir fa 3 anys.

Ingressos setmanals (en dòlar dels Estats Units)

Nombre de mecenes setmanals