New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add count_sort #19

Merged

pi8027 merged 1 commit into master from count_sort

Feb 26, 2024

Owner

pi8027 commented Feb 17, 2024 •

edited

Loading

size_sort, all_sort, and perm_sort can be deduced from this new lemma ;-)

pi8027 force-pushed the count_sort branch 6 times, most recently from 7dba40e to 148150c Compare

February 24, 2024 14:14


          Add count_sort

a576da1

pi8027 force-pushed the count_sort branch from 148150c to a576da1 Compare

February 24, 2024 16:21

pi8027 merged commit 4fea401 into master

42 checks passed

pi8027 deleted the count_sort branch

February 26, 2024 09:48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet