📥 Download raw
module Padova2025.VerifiedAlgorithms.InsertionSort where

Case study: Insertion sort

import Padova2025.VerifiedAlgorithms.InsertionSort.Implementation
import Padova2025.VerifiedAlgorithms.InsertionSort.PostHoc
import Padova2025.VerifiedAlgorithms.InsertionSort.CorrectByConstruction