Brandon Gomes
@bhgomes
Konta w innych serwisach
bhgomes posiada następujące konta na innych platformach:
Repozytoria
jensen Gwiazdki 0 Zaktualizowano 10 miesięcy temu
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Gwiazdki 35 Zaktualizowano 3 lata temu
Riemann Hypothesis in Lean
Historia
bhgomes dołączył 5 lat temu.