Brandon Gomes
@bhgomes
Cuentas enlazadas
bhgomes posee las siguientes cuentas en otras plataformas:
Repositorios
jensen Estrellas 0 Actualizada hace 9 meses
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Estrellas 36 Actualizada hace 3 años
Riemann Hypothesis in Lean
Historial
bhgomes se unió hace 5 años.