Last time we introduced AND, OR, and NOT.
Next time we'll talk about AND and OR, a little bit more, and also their near relatives, PROD, SUM, and SUMBOOL.
Things to do to prepare:
Read Section 2.2.2 in the reference manual if you haven't already. This section is about if expressions, which are really just a shorthand for a certain restricted type of match expressions.
Read Section 2.2.3 in the reference manual if you haven't already. This section is about irrefutable patterns.
Read Section 8.12.3 in the reference manual if you haven't already. This section is about the tauto tactic.
Read Section 8.12.4 in the reference manual if you haven't already. This section is about the intuition tactic.
For more information, visit http://pages.cs.wisc.edu/~mulhern/coqtalks
(You can also
visit this page to check events on additional dates.)
