Brandon Gomes
@bhgomes

bhgomes rep setmanalment 0,00 USD de 0 mecenes.

Donatius

Comptes enllaçats

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

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon)

Repositoris

jensen Estrelles 1 Actualitzat fa 3 anys

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Estrelles 44 Actualitzat fa 5 anys

Riemann Hypothesis in Lean

Historial

bhgomes es va unir fa 7 anys.

Ingressos per setmana (en dòlar dels Estats Units)

Nombre de mecenes per setmana