Gabriel Poesia

Belo Horizonte, Brazil

Results 1 repositories owned by


Gabriel Poesia

peano

40

Stars

2

Forks

Watchers

An environment for learning formal mathematical reasoning from scratch

reinforcement-learning

theorem-proving