Rizzing Up Some Fine Coq