GitHub repository: oliver-butterley/SelectionSort.lean
Description: selection sort implemented by lean