aliquot

< a quantity that can be divided into another a whole number of time />

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)