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