Wednesday, January 29: Tic Tac Toe Moves
Friday, January 31: Tic Tac Toe Traces and Revised Move
Wednesday, February 5: Course Schedules
Monday, Feburary 10: Schedules, True, False
Wednesday, Feburary 12: Sum, Div, Mod, Quantifiers vs. Multiplicities, TA cycles
Friday, February 14: Schedule, Nodes
Friday, February 21: This, Receiver-style, verbosity
Friday, February 21: Download Aluminum Here
Monday, February 24: seq keyword docs
Monday, February 24: Courses, Course Sequences, Ordering Catalogues
Wednesday, February 26: Skolemization
Monday, March 3: Automaton, This Automaton, Traces
Monday, March 31: LTL Writeup