theoremquest-0.0.0: A common library for TheoremQuest, a theorem proving game.
TheoremQuest
module TheoremQuest.Logic
module TheoremQuest.Transactions