Honors 100 annotation
Example of Coq code on research page
Add winter courses