아바타

Brandon Gomes
@bhgomes

bhgomes 님은 0 명으로부터 매주 US$0.00 만큼을 받고 있습니다.

다른 곳의 계정

bhgomes 님은 다른 플랫폼에서 다음 계정을 소유하고 있습니다:

저장소

jensen 0 4개월 전 에 업데이트됨

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 7개월 전 에 업데이트됨

Riemann Hypothesis in Lean

커뮤니티

역사

bhgomes 님은 2년 전에 가입했습니다.

주당 수익 (미국 달러)

주간 후원자 수