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 年前加入。
bhgomes 在其他平臺擁有以下帳號：
a Lean implementation of Jensen's Inequality
Riemann Hypothesis in Lean
bhgomes 於 7 年前加入。