@hackage theoremquest-client0.0.0

A simple client for the TheoremQuest theorem proving game.

TODO