GitHub repository: AnirudhG07/LeanHuffmannCoding
Primary language: Lean
Description: Lean for Huffmann Coding Algorithms, as a course Project for Proof and Programs 25.