// Coding Theory — verified Rust transpilation
// Provenance: Lean 4 → LambdaIR → MiniC → C → Rust
// Source: HeytingLean.CodingTheory

pub mod hamming_basic;
pub mod hamming74;
pub mod hamming_general;
pub mod subsequence;
pub mod operations;
pub mod distance;
pub mod levenshtein;
pub mod vt_basic;
pub mod vt_decode;