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