Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema.

Isabela Dramnesc, Tudor Jebelean

Browse the full SISY paper archive.