Try it

Three problems. Each one has a mistake.

Open theoremEd and press Look at screen. Ask about any of them (say "number 2" if you like). It'll find the slip and ask you about it. It won't fix it for you.

Don't have it yet? Get theoremEd free, then come back.