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