Avatar

Brandon Gomes
@bhgomes

bhgomes menerima USD0.00 setiap minggu daripada 0 pelanggan.
Derma  

Akaun Terpaut

bhgomes memiliki akaun berikut di platform lain:

Repositori

jensen 0 Dikemaskini 4 bulan lalu

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 Dikemaskini 7 bulan lalu

Riemann Hypothesis in Lean

Komuniti

Sejarah

bhgomes sertai 2 tahun lalu.

Pendapatan Setiap Minggu (dalam Dolar AS)

Jumlah Penderma Setiap Minggu