Search results

Wrong level title (Iff_Intro → Iff_mpr)

Status: Open.

#20 In Trequetrum/lean4game-logic;

· cionx opened on Aug 15, 2025

user feedback: disabled exact/apply

Status: Open.

#19 In Trequetrum/lean4game-logic;

· joneugster opened on Apr 3, 2025

Typo: tutotial

Status: Open.

#18 In Trequetrum/lean4game-logic;

· Timmmm opened on Feb 17, 2025

Typo in Tutorial: Party Snacks:1/9?

Status: Open.

#14 In Trequetrum/lean4game-logic;

· yuhan0 opened on Aug 16, 2024

modus tollendo ponens or disjunctive syllogism?

Status: Open.

#13 In Trequetrum/lean4game-logic;

· mikeshulman opened on Aug 12, 2024

Isn't this backwards?

Status: Open.

#12 In Trequetrum/lean4game-logic;

· vedgar opened on Jul 13, 2024

Add hints to the NotIntro levels

Status: Open.

#9 In Trequetrum/lean4game-logic;

· mcol opened on Jul 9, 2024

The Tip in Imp World Level 6 displayed incorrectly

Status: Open.

#8 In Trequetrum/lean4game-logic;

· ada4a opened on Jun 30, 2024

Level 5 / 7 : Rewriting on the final world (World: Redux: ↔ World Tactics) on "A Lean Intro to Logic" and general feedback

Status: Open.

#7 In Trequetrum/lean4game-logic;

· joneugster opened on May 27, 2024