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