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? Try it in your browser (paste a screenshot of these), or get the app free.