Avatar

Brandon Gomes
@bhgomes

bhgomes receives $0.00 per week from 0 patrons.
Donate  

Linked Accounts

bhgomes owns the following accounts on other platforms:

Repositories

jensen 0 Updated 1 month ago

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 8 Updated 4 months ago

Riemann Hypothesis in Lean

Communities

History

bhgomes joined 2 years ago.

Income Per Week (in US Dollar)

Number of Patrons Per Week