-
Notifications
You must be signed in to change notification settings - Fork 95
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Variables appear unreadable in Robo game
awaiting-authorClarification or action needed from PR/issue creatorClarification or action needed from PR/issue creatorbugSomething isn't workingSomething isn't workingpriority-lownice to havenice to haveStatus: Open.#533 In leanprover-community/lean4game;Don't show the same hint twice in a row
bugSomething isn't workingSomething isn't workingStatus: Open.#532 In leanprover-community/lean4game;(in NNG4) I run the game in local, after I complete Tutorial world(finish the first boss), I still can't continue to the next World.
bugSomething isn't workingSomething isn't workingnot-reproducedIssue could not be reproduced. More details or new evaluation would be appreciatedIssue could not be reproduced. More details or new evaluation would be appreciatedStatus: Open.#522 In leanprover-community/lean4game;Language not persistent
bugSomething isn't workingSomething isn't workingpriority-lownice to havenice to havequestionFurther information is requestedFurther information is requestedStatus: Open.#520 In leanprover-community/lean4game;Show definitions code in smartphone mode
fixed on devWill be part of the next updateWill be part of the next updateStatus: Open.#515 In leanprover-community/lean4game;Links/references to game levels use folder names instead of world names
bugSomething isn't workingSomething isn't workingStatus: Open.#514 In leanprover-community/lean4game;- Status: Open.#513 In leanprover-community/lean4game;
katex parse error: \hline valid only within array environment
bugSomething isn't workingSomething isn't workingStatus: Open.#506 In leanprover-community/lean4game;Spurious level completion
bugSomething isn't workingSomething isn't workingStatus: Open.#501 In leanprover-community/lean4game;First line of code from Natural Number Game-Algorithm world-level 4 cannot be executed in Safari
bugSomething isn't workingSomething isn't workingStatus: Open.#496 In leanprover-community/lean4game;[feature-request] Darkmode
featureNew feature or requestNew feature or requestStatus: Open.#493 In leanprover-community/lean4game;support for multiple hints
duplicateThis issue or pull request already existsThis issue or pull request already existsfeatureNew feature or requestNew feature or requestStatus: Open.#482 In leanprover-community/lean4game;