Line numbering in proofs for CS1231(S)

In CS1231(S), a module run at the National University of Singapore, students are sometimes required to number each line in their proofs for easier reference. In the following, one finds a LaTeX package designed to achieve this, written by me.

Disclaimer

Providing this LaTeX package does not suggest that including line numbers in proofs would help beginners learn how to write proofs. And writing this disclaimer does not suggest that including line numbers in proofs would not help beginners learn how to write proofs.

The files

Unfortunately, I do not have time to package and document the macros more properly yet. All I can do now is to provide one example.

  • the LaTeX package: 1231num.texChange the file extension from tex to sty before use.
  • the example file: 1231eg.tex
  • the example file compiled: 1231eg.pdf

The usual LaTeX Project Public License applies. The package was lasted modified on 26 February, 2021. Bug reports are welcome.