aliquote.org

January 20, 2019

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)