Brandon Gomes
@bhgomes
Länkade konton
bhgomes äger följande konton på andra platformar:
Källkodsarkiv
jensen Stjärnor 0 Uppdaterad för 10 månader sedan
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Stjärnor 35 Uppdaterad för 3 år sedan
Riemann Hypothesis in Lean
Historik
bhgomes gick med för 5 år sedan.