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