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