Brandon Gomes
@bhgomes
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
-
qbar
mit 1 anderem
-
Open Knowledge
mit 96 anderen
-
Free Software
mit 502 anderen
Verlauf
bhgomes ist vor 1 Jahr beigetreten.