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