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