ernius/mergesort

Merge sort correctness proof

Language: Agda - Size: 800 KB - Last synced at: over 1 year ago - Pushed at: about 10 years ago - Stars: 10 - Forks: 0