Add prompt template for proof autograder and answer autograder#3
Open
StevenShi-23 wants to merge 1 commit intogoogle-deepmind:mainfrom
Open
Add prompt template for proof autograder and answer autograder#3StevenShi-23 wants to merge 1 commit intogoogle-deepmind:mainfrom
StevenShi-23 wants to merge 1 commit intogoogle-deepmind:mainfrom
