Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus

Saturday, February 6, 2016

Monday, February 1, 2016

News from the Openproof Project

New developments for instructors using the Language, Proof and Logic or Tarski's World courseware packages.

  1. Instructors can now set their own (proof) exercises for Language, Proof and Logic and have solutions to them submitted and assessed just like exercises in the text book.
  2. We have created a social network for instructors to share information: syllabi, course notes, teaching suggestions, exercises, exams, teaching strategies and the like.  This is available only to confirmed instructors.
  3. New bug-fix release (16.01, Dodgson) of the software.