Search results

Natural Number World: Level 7 - rw [one_eq_succ_zero] doesn't expand 1

Status: Open.

#155 In leanprover-community/NNG4;

· jochasinga opened on Jun 21, 2026

I run the game in local, after I complete Tutorial world(finish the first boss), I still can't continue to the next World

Status: Open.

#153 In leanprover-community/NNG4;

· zzz6519003 opened on Jun 3, 2026

le_antisymm hints

Status: Open.

#148 In leanprover-community/NNG4;

· comods opened on May 15, 2026

Editor mode add trailing newline for unsolved goals error

Status: Open.

#147 In leanprover-community/NNG4;

· comods opened on May 15, 2026

Better ≤ World 5th Level hints

Status: Open.

#146 In leanprover-community/NNG4;

· comods opened on May 15, 2026

Do not let a level use itself in its proof

Status: Open.

#145 In leanprover-community/NNG4;

· comods opened on May 15, 2026

Home should show Level-Names on hover

Status: Open.

#144 In leanprover-community/NNG4;

· comods opened on May 10, 2026

Rules Slider: Minimal

Status: Open.

#142 In leanprover-community/NNG4;

· comods opened on May 9, 2026

succ_mul level has a bad hint

Status: Open.

#141 In leanprover-community/NNG4;

· comods opened on May 9, 2026

No Goals and Level is not Completed

Status: Open.

#140 In leanprover-community/NNG4;

· comods opened on May 8, 2026

Escape sequences are missing from inventory right side panel

Status: Open.

#139 In leanprover-community/NNG4;

· comods opened on May 6, 2026

Power World level 5 doesn't allow rewrites

Status: Open.

#138 In leanprover-community/NNG4;

· aadi07 opened on Apr 29, 2026