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