Brandon Gomes
@bhgomes
Akun yang Dihubungkan
bhgomes memiliki akun berikut di platform lain:
Repositori
jensen Bintang 0 Diperbarui 1 tahun yang lalu
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Bintang 35 Diperbarui 3 tahun yang lalu
Riemann Hypothesis in Lean
Riwayat
bhgomes bergabung 5 tahun yang lalu.