Brandon Gomes
@bhgomes
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.