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