Brandon Gomes
@bhgomes
リンクされているアカウント
bhgomesは他のプラットフォームで以下のアカウントを所有しています。
リポジトリー
jensen 0 9 か月前に更新
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 37 3 年前に更新
Riemann Hypothesis in Lean
履歴
bhgomesさんは4 年前に参加しました。