Proof wizard AI is broken

Printable View