Skip to content

Fixed typos in TA1

Noam Cohenrequested to merge
noam.cohen/ProofTheoryMoL:patch-1 into main

Fixed the following typos in TA1:

  • Q1 referred to 2.8 in the lecture notes, has to be 2.10.
  • Q2 used w instead of c in the definition of deciding variables.

Merge request reports