☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (11)
Game
Knights and Knaves Educational Game in Lean 4
Displaying
1-1
of
1
versions of
Game
Sort by
Date
Not a part of any version track.
6df8b62
5 days ago
Released on October 14, 2025 at 6:49:57PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.23.0
1
20