Brandon Gomes
@bhgomes
Prepojené účty
bhgomes vlastní na iných platformách nasledovné účty:
Repozitáre
jensen Hviezdy 1 Upravené pred 3 rokmi
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Hviezdy 44 Upravené pred 5 rokmi
Riemann Hypothesis in Lean
História
bhgomes sa pridal pred 7 rokmi.