Brandon Gomes
@bhgomes
Akaun Terpaut
bhgomes memiliki akaun berikut di platform lain:
Repositori
jensen Bintang 0 Dikemaskini 10 bulan lalu
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Bintang 35 Dikemaskini 3 tahun lalu
Riemann Hypothesis in Lean
Sejarah
bhgomes sertai 5 tahun lalu.