Avatar

Brandon Gomes
@bhgomes

bhgomes dostáva 0,00 USD za týždeň od 0 patrónov.

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.

Príjem za týždeň (v americký dolár)

Počet patrónov týždenne