issues
search
Trequetrum
/
lean4game-logic
Make/Encode some basic logic puzzles
MIT License
1
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The Tip in Imp World Level 6 displayed incorrectly
#8
ugur-a
opened
1 day ago
0
Level 5 / 7 : Rewriting on the final world (World: Redux: ↔ World Tactics) on "A Lean Intro to Logic" and general feedback
#7
joneugster
opened
1 month ago
1
typo
#6
JadAbouHawili
closed
1 month ago
0
Negation world, level 6 typo
#5
JadAbouHawili
closed
1 month ago
0
Negation World, Typo
#4
JadAbouHawili
closed
1 month ago
0
"constructor" is disabled in NotTactic-10 but...
#3
csharpython
closed
4 months ago
1
Allowed tactics in Level 5 in the Redux Or World
#2
debbie-drg
closed
5 months ago
2
fix: build gameserver executable in github action
#1
joneugster
closed
5 months ago
0