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