Brandon Gomes
@bhgomes
다른 곳의 계정
bhgomes 님은 다른 플랫폼에서 다음 계정을 소유하고 있습니다:
저장소
jensen 별 0 9개월 전 에 업데이트됨
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis 별 36 3년 전 에 업데이트됨
Riemann Hypothesis in Lean
역사
bhgomes 님은 5년 전에 가입했습니다.