GitHub repository: wvhulle/learn-lean-riddles
Primary language: Lean
Description: Riddles solved in Lean4 for educational purposes