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年前 加入。