Brandon Gomes
@bhgomes

bhgomes receives $0.00 per week from 0 patrons.

Donate

Linked Accounts

bhgomes owns the following accounts on other platforms:

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon)

Repositories

jensen Stars 0 Updated 10 months ago

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Stars 35 Updated 3 years ago

Riemann Hypothesis in Lean

History

bhgomes joined 5 years ago.

Income Per Week (in US Dollar)

Number of Patrons Per Week