A functional insertion sort algorithm, formally verified in the Coq interactive theorem prover by Inria. Written somewhere around 2021/2022.
daipenger / verifiedinsertionsort Goto Github PK
View Code? Open in Web Editor NEWLicense: BSD 2-Clause "Simplified" License