Avatar

Brandon Gomes
@bhgomes

bhgomes riceve 0,00 USD a settimana da 0 donatori.
Donare  

Profili collegati

bhgomes possiede i seguenti profili su altre piattaforme:

Repository

jensen 0 Aggiornato 4 mesi fa

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 Aggiornato 7 mesi fa

Riemann Hypothesis in Lean

Comunità

Cronologia

bhgomes si è iscritto 2 anni fa.

Guadagni settimanali (in dollaro statunitense)

Numero di donatori ogni settimana