GitHub - langfield/mergesort: Mergesort (and an implicit proof that it terminates) in Lean 4.

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.gitignore		.gitignore
Main.lean		Main.lean
Mergesort.lean		Mergesort.lean
PalindromicPairs.lean		PalindromicPairs.lean
Quicksort.lean		Quicksort.lean
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain