AI app: PlainProof for AMD Developer Hackathon: ACT III