Brandon Gomes
@bhgomes
Gekoppelde accounts
bhgomes bezit de volgende accounts op andere platformen:
Repositories
jensen Sterren 0 Vernieuwd 10 maanden geleden
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Sterren 35 Vernieuwd 3 jaar geleden
Riemann Hypothesis in Lean
Geschiedenis
bhgomes werd 5 jaar geleden lid.