GitHub repository: JadAbouHawili/KnightsAndKnaves-Lean4Game
Primary language: Lean
Description: Knights and Knaves Educational Game in Lean 4