Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean.

Justin Kong, David J. Webb, Manabu Hagiwara

Browse the full ISITA paper archive.