sorting.v: Speed up C_merge_all_leq - Githubissues

coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]

MIT License

45 stars 7 forks source link

sorting.v: Speed up C_merge_all_leq #18

Closed ablearthy closed 9 months ago