Sorting -> Mergesort (handle deprecation) - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

42 stars 24 forks source link

Sorting -> Mergesort (handle deprecation) #83

Closed andres-erbsen closed 1 year ago