GitHub repository: larsk21/lean-praktikum-while
Primary language: Lean
Description: Exercise on While language in Lean 4