Brandon Gomes
@bhgomes
Cuntais Nasctha
Is leis bhgomes na cuntais seo a leanas ar ardáin eile:
Stórtha
jensen Réaltaí 1 Nuashonraithe 3 bliana ó shin
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Réaltaí 44 Nuashonraithe 5 bliana ó shin
Riemann Hypothesis in Lean
Stair
Tháinig bhgomes isteach 7 mbliana ó shin.