Brandon Gomes
@bhgomes
Propojené účty
bhgomes vlastní na jiných platformách následující účty:
Repozitáře
jensen 0 Upraveno před 7 měsíci
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 10 Upraveno před 9 měsíci
Riemann Hypothesis in Lean
Společenství
-
qbar
s 1 dalším
-
Open Knowledge
s 113 dalšími
-
Free Software
s 613 dalšími
Historie
bhgomes se přidal před 2 lety.