Brandon Gomes
@bhgomes
Comptes liés
bhgomes possède les comptes suivants sur d'autres plateformes :
Dépôts
jensen Étoiles 0 Modifié il y a 10 mois
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Étoiles 35 Modifié il y a 3 ans
Riemann Hypothesis in Lean
Historique
bhgomes a rejoint Liberapay il y a 5 ans.