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