Brandon Gomes
@bhgomes

bhgomes ontvangt US$ 0,00 per week van 0 donateurs.

Doneer

Gekoppelde accounts

bhgomes bezit de volgende accounts op andere platformen:

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon)

Repositories

jensen Sterren 0 Vernieuwd 10 maanden geleden

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Sterren 35 Vernieuwd 3 jaar geleden

Riemann Hypothesis in Lean

Geschiedenis

bhgomes werd 5 jaar geleden lid.

Inkomen per week (in Amerikaanse dollar)

Aantal donateurs per week