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