Issues

• Practicing Proofs Exercise 9

  dcernst/IBL-IntroToProof#188 · Filter by author siefkenj opened on Sep 2, 2026
  1

• Clean up and/or add discussion about functions (and relations)

  Chapter 7Chapter 8
  dcernst/IBL-IntroToProof#185 · Filter by author dcernst opened on Apr 17, 2025

• Add comment about Euclid's Lemma involving more than two factors

  Chapter 6
  dcernst/IBL-IntroToProof#184 · Filter by author dcernst opened on Apr 8, 2025

• Remove suggestion for proof by contradiction for Theorem 6.17

  Chapter 6
  dcernst/IBL-IntroToProof#183 · Filter by author dcernst opened on Apr 8, 2025

• Add some description of Facebook and Twitter

  Chapter 7
  dcernst/IBL-IntroToProof#182 · Filter by author dcernst opened on Mar 29, 2025

• Definition 5.7: Please include 0^0 = 1

  dcernst/IBL-IntroToProof#181 · Filter by author zteitler opened on Mar 26, 2025
  3

• Clarify where various axioms "live"

  Improvement
  dcernst/IBL-IntroToProof#179 · Filter by author dcernst opened on Mar 3, 2025

• Family of sets

  Chapter 4Improvement
  dcernst/IBL-IntroToProof#178 · Filter by author dcernst opened on Feb 24, 2025

• Problem 2.86 and Theorem 2.52 are duplicates

  Chapter 2
  dcernst/IBL-IntroToProof#177 · Filter by author dcernst opened on Feb 16, 2025

• Numbering for figures in PreTeXt vs PDF is messed up

  PreText
  dcernst/IBL-IntroToProof#176 · Filter by author dcernst opened on Jan 8, 2024

• "the" vs "a" in Theorem 4.36

  Chapter 4
  dcernst/IBL-IntroToProof#175 · Filter by author dcernst opened on Nov 14, 2023

• Issues with Skeleton Proof for Strong Induction

  Chapter 4
  dcernst/IBL-IntroToProof#174 · Filter by author dcernst opened on Oct 29, 2023
  1

• Add “find negation” to Problem 2.80

  Chapter 2
  dcernst/IBL-IntroToProof#173 · Filter by author dcernst opened on Oct 29, 2023

• Comment about showing that a statement is false

  Chapter 1Chapter 2
  dcernst/IBL-IntroToProof#172 · Filter by author dcernst opened on Oct 29, 2023

• Some definitions lost emphasis in PreTeXt version

  PreText
  dcernst/IBL-IntroToProof#170 · Filter by author dcernst opened on Aug 7, 2023

• add glossary appendix to PreTeXt version

  ImprovementPreText
  dcernst/IBL-IntroToProof#168 · Filter by author dcernst opened on Aug 2, 2023

• add list of notation appendix to PreTeXt version

  ImprovementPreText
  dcernst/IBL-IntroToProof#167 · Filter by author dcernst opened on Aug 2, 2023

• add Instructor guide and Errata to PreTeXt version

  InstructorGuidePreText
  dcernst/IBL-IntroToProof#166 · Filter by author dcernst opened on Aug 2, 2023

• Formatting issues in PreTeXt

  PreText
  dcernst/IBL-IntroToProof#165 · Filter by author dcernst opened on Jul 25, 2023
  2

• Axiom number is messed up in PreTeXt

  PreText
  dcernst/IBL-IntroToProof#164 · Filter by author dcernst opened on Jul 21, 2023

• Tweak ref style for subfigures in PreTeXt

  PreText
  dcernst/IBL-IntroToProof#163 · Filter by author dcernst opened on Jul 21, 2023

• Tweak numbering style for ordered list in PreTeXt

  PreText
  dcernst/IBL-IntroToProof#162 · Filter by author dcernst opened on Jul 21, 2023
  1

• Center subfigure label in PreTeXt

  PreText
  dcernst/IBL-IntroToProof#161 · Filter by author dcernst opened on Jul 21, 2023

• \tcboxmath is broken in PreTeXt version

  PreText
  dcernst/IBL-IntroToProof#158 · Filter by author dcernst opened on Jul 21, 2023

• \coloneqq command broken in PreTeXt version

  PreText
  dcernst/IBL-IntroToProof#157 · Filter by author dcernst opened on Jul 21, 2023