Brandon Gomes
@bhgomes

bhgomes reçoit 0,00 $US par semaine grâce à 0 mécène.

Donner

Comptes liés

bhgomes possède les comptes suivants sur d'autres plateformes :

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon)

Dépôts

jensen Étoiles 2 Modifié il y a 3 ans

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Étoiles 46 Modifié il y a 5 ans

Riemann Hypothesis in Lean

Historique

bhgomes a rejoint Liberapay il y a 7 ans.

Revenu par semaine (en dollar états-unien)

Nombre de mécènes par semaine