Brandon Gomes
@bhgomes
Yhdistetyt tilit
Käyttäjän bhgomes tilejä muissa palveluissa:
Repositoriot
jensen Tähdet 0 Päivitetty 9 kuukautta sitten
a Lean implementation of Jensen's Inequality
lean-riemann-hypothesis Tähdet 36 Päivitetty 3 vuotta sitten
Riemann Hypothesis in Lean
Historia
bhgomes liittyi 5 vuotta sitten.