Brandon Gomes
@bhgomes

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

Donasi

Akun yang Dihubungkan

bhgomes memiliki akun berikut di platform lain:

bhgomes (Brandon H. Gomes)

brandonhgomes (Brandon H. Gomes)

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

Riwayat

bhgomes bergabung 3 tahun yang lalu.

Pendapatan Per Minggu (dalam Dolar Amerika Serikat)

Jumlah penyokong per minggu