아바타

Brandon Gomes
@bhgomes

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

다른 곳의 계정

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

저장소

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

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 36 3년 전 에 업데이트됨

Riemann Hypothesis in Lean

역사

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

주당 수익 (미국 달러)

주간 후원자 수

이 페이지에는 아직 검토되지 않았으며 정확하지 않을 수 있는 기계 번역된 텍스트가 포함되어 있습니다. 기부할 수 있습니다.