Аватар

Brandon Gomes
@bhgomes

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

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

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

Репозитории

jensen Избранное 1 Обновлено 3 года назад

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Избранное 44 Обновлено 5 лет назад

Riemann Hypothesis in Lean

История

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

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

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

Эта страница содержит текст с машинным переводом, который ещё не был проверен и может быть неточным. Вы можете помочь.