exit 1
T.thy:7:3: unfinished-proof: sorry leaves the goal unproved
T.thy:11:71: unfinished-proof: sorry leaves the goal unproved
T.thy:17:3: unfinished-proof: sorry leaves the goal unproved
--- stderr
fixed 12 findings
3 findings: 3 unfinished-proof
