GitHub repository: wvhulle/riddle-proofs
Primary language: Lean
Created: 2025-06-19T10:25:15Z
Description: Riddles solved in Lean4 for educational purposes