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 1 Updated 3 years ago

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Stars 44 Updated 5 years ago

Riemann Hypothesis in Lean

History

bhgomes joined 7 years ago.

Income per week (in US Dollar)

Number of patrons per week