Brandon Gomes
@bhgomes
Verknüpfte Konten
bhgomes besitzt die folgenden Zugänge auf anderen Plattformen:
Repositorys
jensen Sterne 2 vor 3 Jahren aktualisiert
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Sterne 46 vor 5 Jahren aktualisiert
Riemann Hypothesis in Lean
Verlauf
bhgomes ist vor 7 Jahren beigetreten.