Brandon Gomes
@bhgomes
Linked Accounts
bhgomes owns the following accounts on other platforms:
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.