Brandon Gomes
@bhgomes
Связанные аккаунты
bhgomes владеет следующими аккаунтами на других сайтах:
Репозитории
jensen Избранное 0 Обновлено 9 месяцев назад
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Избранное 36 Обновлено 3 года назад
Riemann Hypothesis in Lean
История
bhgomes присоединился 5 лет назад.