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