Brandon Gomes
@bhgomes
Συνδεδεμένοι Λογαριασμοί
Ο/Η bhgomes έχει τους ακόλουθους λογαριασμούς σε άλλες πλατφόρμες:
Αποθετήρια
jensen Αστέρια 1 Ενημερώθηκε πριν από 3 έτη
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Αστέρια 44 Ενημερώθηκε πριν από 5 έτη
Riemann Hypothesis in Lean
Ιστορικό
bhgomes εντάχθηκε στο πριν από 7 έτη.