JadAbouHawili/KnightsAndKnaves-Lean4Game

Knights and Knaves Educational Game in Lean 4

GitHub repository with 5 stars and 4 forks.

Language: Lean

Topics: knights-and-knaves, lean, lean4, logic, math, puzzles

Open provider repository