Аватар

Brandon Gomes
@bhgomes

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

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

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

Сховища

jensen 0 Оновлено 1 місяць тому

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 8 Оновлено 4 місяці тому

Riemann Hypothesis in Lean

Спільноти

Історія

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

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

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