- 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.
- 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.
- New bug-fix release (16.01, Dodgson) of the software.
Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus
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.