The complete correctness of sorting - discu.eu

Reddit

The complete correctness of sorting [Agda] http://twanvl.nl/blog/agda/sorting 5 comments 24/5/2013 haskell

Linking pages

Proving sorted lists correct using the Coq proof assistant | Random Hacks http://www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/ 11 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:twanvl.nl

Search title: The complete correctness of sorting

See how to search.

Submit link to: