I know nothing about Coq but I am happy that courses like Discrete Mathematics and Functional Programming are still available for free. (via @Jose_A_Alonso)