feat(algorithms): add counting sort#577

Robertboy18 wants to merge 3 commits into

leanprover:mainleanprover/cslib:mainfrom

Robertboy18:algorithms-counting-sort-timemRobertboy18/cslib:algorithms-counting-sort-timemCopy head branch name to clipboard