No setup.py to install the gamepad module

ml4tp / gamepad

A Learning Environment for Theorem Proving

Apache License 2.0

72 stars 15 forks source link

Closed spolu closed 5 years ago

spolu commented 5 years ago

Which is incoherent with the last instructions of the README?

spolu commented 5 years ago

Ah they are under gamepad/