@hackage theoremquest0.0.0

A common library for TheoremQuest, a theorem proving game.

TODO