Brandon Gomes
@bhgomes
Linkede kontoer
bhgomes ejer følgende konti på andre platforme:
Arkiver
jensen Stjerner 0 Opdateret for 10 måneder siden
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Stjerner 35 Opdateret for 3 år siden
Riemann Hypothesis in Lean
Historie
bhgomes tilmeldte sig for 5 år siden.