Issues

• Where is original Sphinx source?

  hrmacbeth/math2001#39 · Filter by author SuperCowProducts opened on May 13, 2026

• possible typo 10.1.1 example

  hrmacbeth/math2001#33 · Filter by author rzeta0 opened on Mar 1, 2025

• typo example 9.2.6

  hrmacbeth/math2001#32 · Filter by author rzeta0 opened on Feb 24, 2025

• typo 9.1 ex 10

  hrmacbeth/math2001#31 · Filter by author rzeta0 opened on Feb 23, 2025

• typo example 9.1.9

  hrmacbeth/math2001#30 · Filter by author rzeta0 opened on Feb 23, 2025

• typo 8.1.13 ex 17

  hrmacbeth/math2001#29 · Filter by author rzeta0 opened on Feb 17, 2025

• Is exercise 1.3.16 actually possible?

  hrmacbeth/math2001#27 · Filter by author zli117 opened on Dec 26, 2024
  2

• typo example 2.5.2

  hrmacbeth/math2001#25 · Filter by author rzeta0 opened on Sep 5, 2024
  1

• improve example 2.4.4 with focussing dots

  hrmacbeth/math2001#24 · Filter by author rzeta0 opened on Sep 4, 2024

• typo in 2.3.6 ex 4

  hrmacbeth/math2001#23 · Filter by author rzeta0 opened on Aug 25, 2024

• Where to look for theorem or tactics?

  hrmacbeth/math2001#22 · Filter by author jiamingkong opened on Aug 13, 2024
  1

• 9.2.6 example

  hrmacbeth/math2001#21 · Filter by author ketilwright opened on Aug 4, 2024

• possible copy/paste errors in 07_Euclidean_Algorithm.lean

  hrmacbeth/math2001#20 · Filter by author ketilwright opened on Jul 24, 2024

• first use of le_or_gt

  hrmacbeth/math2001#19 · Filter by author mcol opened on Jul 14, 2024

• further reading on transitioning from extra to positivity tactic

  hrmacbeth/math2001#18 · Filter by author rzeta0 opened on Jul 11, 2024

• Possible bug in cancel tactic?

  hrmacbeth/math2001#17 · Filter by author jdfm opened on Jun 8, 2024
  4