Brandon Gomes
@bhgomes
Koblede kontoer
bhgomes eier følgende kontoer på andre plattformer:
Pakkebrønner
jensen Stjerner 0 Oppdatert for 10 måneder siden
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Stjerner 35 Oppdatert for 3 år siden
Riemann Hypothesis in Lean
Historikk
bhgomes registrerte seg for 5 år siden.