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