Avatar

Brandon Gomes
@bhgomes

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

Gekoppelde accounts

bhgomes bezit de volgende accounts op andere platformen:

Repositories

jensen 0 Vernieuwd 4 maanden geleden

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 Vernieuwd 7 maanden geleden

Riemann Hypothesis in Lean

Gemeenschappen

Geschiedenis

bhgomes werd 2 jaar geleden lid.

Inkomen per week (in Amerikaanse dollar)

Aantal donateurs per week