Avatar

Brandon Gomes
@bhgomes

bhgomes erhält 0,00 $ pro Woche von 0 Förderern.
Spenden  

Verknüpfte Konten

bhgomes besitzt die folgenden Zugänge auf anderen Plattformen:

Repositorys

jensen 0 vor 2 Monaten aktualisiert

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 7 vor 3 Monaten aktualisiert

Riemann Hypothesis in Lean

Gemeinschaften

Verlauf

bhgomes ist vor 1 Jahr beigetreten.

Einkommen pro Woche (in US-Dollar)

Anzahl Unterstützer pro Woche