Propositional Logic
(SE 212 TUT 102)
1 Are you at the right place?
We’re in MC 4040, for SE 212 TUT 102 (03:30-04:20W)
2
George
4 Tool support
Over the years, students have developed a number of tools for using
George and/or editing .grg files, such as plugins for Vim and Atom.
Check them out at
Course website → George User Manual → Contributions
5 George mode for Emacs (new!)
- Syntax highlighting + a number of convenience functions
- Grab it from https://git.sr.ht/~bandali/george-mode
(soon on Contributions page)
6 a00q01.grg (demo)
Walk through answering a00q01.grg and submitting on MarkUs
7 Homework 1
- Let’s do a couple of questions from Homework 1
- Now you try the rest, let me know if you have any questions