Avatar

Brandon Gomes
@bhgomes

bhgomes rep setmanalment 0,00 USD de 0 mecenes.
Donatius   PayPal

Comptes enllaçats

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

Repositoris

jensen Estrelles 0 Actualitzat fa 9 mesos

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Estrelles 36 Actualitzat fa 3 anys

Riemann Hypothesis in Lean

Historial

bhgomes es va unir fa 5 anys.

Ingressos setmanals (en dòlar dels Estats Units)

Nombre de mecenes setmanals