• Dictionary of concepts between stdlib, std++, ext-lib, mathcomp, with comparison with ocaml
• A comparison of statements involving firstn available in stdlib, std++, ext-lib, mathcomp