アバター

Brandon Gomes
@bhgomes

bhgomesは1週あたり0人の支援者から$0.00受け取っています。
寄付   PayPal

リンクされているアカウント

bhgomesは他のプラットフォームで以下のアカウントを所有しています。

リポジトリー

jensen 0 9 か月前に更新

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 37 3 年前に更新

Riemann Hypothesis in Lean

履歴

bhgomesさんは4 年前に参加しました。

1週あたりの収入(米ドル)

1週あたりの支援者の数