Brandon Gomes
@bhgomes
Propojené účty
bhgomes vlastní na jiných platformách následující účty:
Repozitáře
jensen 0 Upraveno před 1 rokem
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 11 Upraveno před 1 rokem
Riemann Hypothesis in Lean
Historie
bhgomes se přidal před 3 lety.