Avatar

Brandon Gomes
@bhgomes

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

Profili collegati

bhgomes possiede i seguenti profili su altre piattaforme:

Repository

jensen 0 Aggiornato 1 anno fa

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 13 Aggiornato 2 anni fa

Riemann Hypothesis in Lean

Cronologia

bhgomes si è iscritto/a 3 anni fa.

Guadagni settimanali (in dollaro statunitense)

Numero di donatori ogni settimana