Аватар

Brandon Gomes
@bhgomes

bhgomes отримує 0,00 USD на тиждень від 0 спонсорів.

Пов'язані облікові записи

bhgomes володіє такими обліковими записами на інших платформах:

Репозиторії

jensen Вибране 0 Оновлено 9 місяців тому

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Вибране 36 Оновлено 3 роки тому

Riemann Hypothesis in Lean

Історія

bhgomes приєднався 5 років тому.

Надходжень на тиждень (у долар США)

Кількість спонсорів на тиждень