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