Added HW Template for proof-based courses