Avatar

Brandon Gomes
@bhgomes

bhgomes, her hafta $0,00 tutarında bağışı 0 sponsordan alıyor.

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

Geçmiş

bhgomes 1 yıl önce katıldı.

Haftalık Gelir (ABD Doları)

Haftalık Sponsor Sayısı