Brandon Gomes
@bhgomes
Bağlantılı Hesaplar
bhgomes diğer platformlarda aşağıdaki hesaplara sahiptir:
Kod depoları
jensen 0 1 ay önce güncellendi
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 7 2 ay önce güncellendi
Riemann Hypothesis in Lean
Topluluklar
-
qbar
diğer 1 kişi ile birlikte
-
Open Knowledge
diğer 96 kişi ile birlikte
-
Free Software
diğer 488 kişi ile birlikte
Geçmiş
bhgomes 1 yıl önce katıldı.