Brandon Gomes
@bhgomes
Contas vinculadas
bhgomes está presente nas seguintes plataformas:
Repositórios
jensen Favoritos 0 Atualizado há há 10 meses
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Favoritos 35 Atualizado há há 3 anos
Riemann Hypothesis in Lean
Histórico
bhgomes entrou há 5 anos.