Аватар

Brandon Gomes
@bhgomes

bhgomes получает 0,00 $ в неделю от 0 спонсоров.

Связанные аккаунты

bhgomes владеет следующими аккаунтами на других сайтах:

Репозитории

jensen Избранное 0 Обновлено 9 месяцев назад

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Избранное 36 Обновлено 3 года назад

Riemann Hypothesis in Lean

История

bhgomes присоединился 5 лет назад.

Доход за неделю (в доллар США)

Количество спонсоров в неделю