blanchette/logical_verification_2020

Issues

• Typo on page 104

  #5 opened 3 years ago by cilinder
  1

• Chapter 4.3 incorrect factorial definition

  #4 opened 3 years ago by adekau
  1

• ePub?

  #2 opened 4 years ago by DanielFabian
  2

• fix command

  #3 opened 4 years ago by arademaker
  1

• misidentified induction target?

  #1 opened 4 years ago by ammkrn
  2