Search results

Is exercise 1.3.16 actually possible?

Status: Open.

#27 In hrmacbeth/math2001;

· zli117 opened on Dec 26, 2024

typo example 2.5.2

Status: Open.

#25 In hrmacbeth/math2001;

· rzeta0 opened on Sep 5, 2024

improve example 2.4.4 with focussing dots

Status: Open.

#24 In hrmacbeth/math2001;

· rzeta0 opened on Sep 4, 2024

typo in 2.3.6 ex 4

Status: Open.

#23 In hrmacbeth/math2001;

· rzeta0 opened on Aug 25, 2024

Where to look for theorem or tactics?

Status: Open.

#22 In hrmacbeth/math2001;

· jiamingkong opened on Aug 13, 2024

9.2.6 example

Status: Open.

#21 In hrmacbeth/math2001;

· ketilwright opened on Aug 4, 2024

possible copy/paste errors in 07_Euclidean_Algorithm.lean

Status: Open.

#20 In hrmacbeth/math2001;

· ketilwright opened on Jul 24, 2024

first use of le_or_gt

Status: Open.

#19 In hrmacbeth/math2001;

· mcol opened on Jul 14, 2024

further reading on transitioning from extra to positivity tactic

Status: Open.

#18 In hrmacbeth/math2001;

· rzeta0 opened on Jul 11, 2024

Possible bug in cancel tactic?

Status: Open.

#17 In hrmacbeth/math2001;

· jdfm opened on Jun 8, 2024