Avatar

Brandon Gomes
@bhgomes

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

Akun yang Dihubungkan

bhgomes memiliki akun berikut di platform lain:

Repositori

jensen Bintang 0 Diperbarui 9 bulan yang lalu

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis Bintang 36 Diperbarui 3 tahun yang lalu

Riemann Hypothesis in Lean

Riwayat

bhgomes bergabung 5 tahun yang lalu.

Pendapatan Per Minggu (dalam Dolar Amerika Serikat)

Jumlah penyokong per minggu

Halaman ini berisi teks terjemahan mesin yang belum ditinjau dan mungkin tidak akurat. Anda dapat berkontribusi.