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