Re: [Haskell-cafe] ANN: theoremquest-0.0.0

Daniel Peebles schrieb:

Have you tried it? It's completely addictive (and takes up a big chunk of my free time).

+1 after completing some missions in PVS. :-)