Avatar

Brandon Gomes
@bhgomes

bhgomes saa 0,00 $ viikossa 0 tukijalta.

Yhdistetyt tilit

Käyttäjän bhgomes tilejä muissa palveluissa:

Repositoriot

jensen 0 Päivitetty 4 kuukautta sitten

a Lean implementation of Jensen's Inequality

lean-riemann-hypothesis 10 Päivitetty 7 kuukautta sitten

Riemann Hypothesis in Lean

Yhteisöt

Historia

bhgomes liittyi 2 vuotta sitten.

Viikoittaiset Yhdysvaltain dollari-määräiset tulot

Tukijoita viikossa