JadAbouHawiliGame

Knights and Knaves Educational Game in Lean 4
Displaying 1-1 of 1 versions of Game
Sort by
  1. Not a part of any version track.
    628069b
    a day ago
    Released on April 28, 2026 at 9:01:21AM
    Commit 628069b builds on its recent leanprover/lean4:v4.29.1
    v4.29.1
    2.9 MB Build archive size: 2878435 bytes.