Brandon Gomes
@bhgomes
Profili collegati
bhgomes possiede i seguenti profili su altre piattaforme:
Repository
jensen Preferiti 0 Aggiornato 10 mesi fa
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Preferiti 35 Aggiornato 3 anni fa
Riemann Hypothesis in Lean
Cronologia
bhgomes si è iscritto/a 5 anni fa.