It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of Calgary tomorrow.

- The presentation that Aaron and Richard are using for today’s workshop on “OER: What, Why, Where, How?“
- The GitHub repository
- The stand-alone textbooks from the OLP:
- The adaptation/remix/making accessible of P. D. Magnus’s intro logic text:
*forall x: Calgary* - The ISSOTL 2018 poster on the evaluation of
*forall x: Calgary*in the classroom. - The interactive proof checker to go with
*forall x*by Kevin Klement