Brandon Gomes
@bhgomes
Пов'язані облікові записи
bhgomes володіє такими обліковими записами на інших платформах:
Репозиторії
jensen Вибране 1 Оновлено 3 роки тому
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Вибране 44 Оновлено 5 років тому
Riemann Hypothesis in Lean
Історія
bhgomes приєднався 7 років тому.