Avatar

Brandon Gomes
@bhgomes

bhgomes menerima US$0,00 setiap minggu dari 0 sponsor.
Donasi  

Akun yang Dihubungkan

bhgomes memiliki akun berikut di platform lain:

Repositori

jensen 0 Diperbarui 1 tahun yang lalu

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 11 Diperbarui 1 tahun yang lalu

Riemann Hypothesis in Lean

Komunitas

Riwayat

bhgomes bergabung 3 tahun yang lalu.

Pendapatan Per Minggu (dalam Dolar Amerika Serikat)

Jumlah penyokong per minggu