Brandon Gomes
@bhgomes
Akaun Terpaut
bhgomes memiliki akaun berikut di platform lain:
Repositori
jensen 0 Dikemaskini 3 minggu lalu
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 7 Dikemaskini 2 bulan lalu
Riemann Hypothesis in Lean
Komuniti
-
qbar
dan 1 yang lain
-
Open Knowledge
dan 96 yang lain
-
Free Software
dan 486 yang lain
Sejarah
bhgomes sertai 1 tahun lalu.