All pull requests

Pull requests

• fix #17 by adding pow_left_inj case to cancel

  #40·lntricate1 opened Sep 2, 2026·

  ·

• Bump Lean from 4.3.0 to 4.22.0

  #38·izkluxcvy opened Apr 11, 2026·

  ·
  2

• Add missing "by" in theorem Int.ModEq.pow

  #37·hansonchar opened Jul 13, 2025·

  ·

• Fix link to Book of Proof

  #36·hansonchar opened Jul 3, 2025·

  ·

• Updated induction hypothesis in 6.6.2

  #35·dataopt opened Jun 5, 2025·

  ·

• Errata chapters 6–10 plus tactics index

  #16·dfpetrin opened May 30, 2024·

  ·

• Don't override theme settings

  #9·adriandole opened Jan 12, 2024·

  ·
  1