Brandon Gomes
@bhgomes
Bağlantılı Hesaplar
bhgomes diğer platformlarda aşağıdaki hesaplara sahiptir:
Kod depoları
jensen Favorilere eklemeler 0 10 ay önce güncellendi
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Favorilere eklemeler 35 3 yıl önce güncellendi
Riemann Hypothesis in Lean
Geçmiş
bhgomes 5 yıl önce katıldı.