add new game

Merge pull request #283 from leanprover-community/server_capacity
Server capacity
2025-01-26 14:29:54 +01:00 · 2025-01-24 14:33:01 +01:00
1 changed files with 2 additions and 1 deletions
@@ -3,7 +3,8 @@
    "leanprover-community/nng4",
    "hhu-adam/robo",
    "djvelleman/stg4",
-    "trequetrum/lean4game-logic"
+    "trequetrum/lean4game-logic",
    "jadabouhawili/knightsandknaves-lean4game"
  ],
  "languages": [
Author	SHA1	Message	Date
Jon Eugster	49062cc3d5	add new game	2025-01-26 14:29:54 +01:00
Matvey Lorkish	f75389e93f	Merge pull request #283 from leanprover-community/server_capacity Server capacity	2025-01-24 14:33:01 +01:00