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 年前に参加しました。