Lean 4 Game Project(issues , prs )
Knights and Knaves Educational Game
Functional Programming in Lean 4 (issues)
Raymond Smullyan Logic Puzzles
Metaprogramming in Lean 4(issues , prs)
- Theorem Proving in Lean 4
- Functional Programming in Lean 4
- Mathematics in Lean 4
- Logical Verification in Lean 4


