AI app: ProofDesk for AMD Developer Hackathon: ACT III