avigad/lamr

Issues

• Is there an appropriate place to ask questions about the book?

  #8 opened 2 months ago by dabrahams
  4

• Is there a way to file PRs against the book?

  #7 opened 2 months ago by dabrahams
  3

• Book assumes VSCode but doesn't say so

  #6 opened 2 months ago by dabrahams
  3

• Typos

  #4 opened 2 years ago by pitmonticone
  1

• Section 3.4-Typo

  #3 opened 2 years ago by DanPin7679
  0