Brandeis CS 112

Modal, Temporal, and Spatial Logics

  • Syllabus
  • Readings and Class Notes
  • Problem Sets
  • Class News

Proof template for LaTeX

September 7, 2018Readings and Class NotesKenneth Lai

For those of you who want to write your proofs in LaTeX, a template you can use is now available here. It requires the logicproof package (.sty file included, source files also available here).

This entry was posted in Readings and Class Notes. Bookmark the permalink.

Related posts

Readings for 10/12/18

Readings for 10/9/18

Post navigation

← Problem Set 1
Problem Set 2 →

Recent Posts

  • Problem Set 7
  • Problem Set 6
  • Problem Set 5
  • Problem Set 4
  • Readings for 10/12/18
Proudly powered by WordPress | Theme: StrapVert by WP Strap Code.