Brandon Gomes
@bhgomes
Comptes enllaçats
bhgomes té els següents comptes en altres plataformes:
Repositoris
jensen 0 Actualitzat fa 1 any
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 11 Actualitzat fa 1 any
Riemann Hypothesis in Lean
Historial
bhgomes es va unir fa 3 anys.