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