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 років тому.