Search results

typo: targetted → targeted

Status: Open.

#122 In leanprover-community/NNG4;

· TentativeConvert opened on Oct 31, 2025

Unclear description of Algorithm World 7

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#111 In leanprover-community/NNG4;

· joneugster opened on Aug 8, 2025

A new out-of-the-box docker image

enhancementNew feature or requestNew feature or request

Status: Open.

#110 In leanprover-community/NNG4;

· ovo-Tim opened on Jul 31, 2025

Victory condition achieved when writing non sensical tactics

bugSomething isn't workingSomething isn't working

Status: Open.

#103 In leanprover-community/NNG4;

· astrale-sharp opened on Jun 26, 2025

Advanced Multiplication World 9/10 has an ambiguous hint

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#102 In leanprover-community/NNG4;

· dlebedinsky opened on Jun 19, 2025

add_left_comm is an unknown identifier in Multiplication World, Level 3

bugSomething isn't workingSomething isn't working

duplicateThis issue or pull request already existsThis issue or pull request already exists

Status: Open.

#98 In leanprover-community/NNG4;

· droy opened on Jun 7, 2025

Introduce <code>have</code> and <code>induction … generalizing</code> early

enhancementNew feature or requestNew feature or request

Status: Open.

#97 In leanprover-community/NNG4;

· user202729 opened on May 31, 2025

cannot apply succ_inj in succ_mul

bugSomething isn't workingSomething isn't working

duplicateThis issue or pull request already existsThis issue or pull request already exists

Status: Open.

#96 In leanprover-community/NNG4;

· bombless opened on May 20, 2025

hard world

new contentIssues/PRs adding new game contentIssues/PRs adding new game content

Status: Open.

#91 In leanprover-community/NNG4;

· kbuzzard opened on Feb 15, 2025

advanced algorithm world

new contentIssues/PRs adding new game contentIssues/PRs adding new game content

Status: Open.

#90 In leanprover-community/NNG4;

· kbuzzard opened on Feb 15, 2025

prime number world

new contentIssues/PRs adding new game contentIssues/PRs adding new game content

Status: Open.

#89 In leanprover-community/NNG4;

· kbuzzard opened on Feb 15, 2025

divisibility world

new contentIssues/PRs adding new game contentIssues/PRs adding new game content

Status: Open.

#88 In leanprover-community/NNG4;

· kbuzzard opened on Feb 15, 2025