UofO Summer School 2008: Twelf Course Feedback

Please help us improve future versions of this course! This feedback form is anonymous, and only the course organizers will have access to your response.

1) Course Contents

Did you get a sense of: How to represent languages in LF? What a Twelf proof is? The differences between Twelf and other tools? What do you wish we spent more time on? less time?


2) Course Methods

How effective were the following at helping you learn?

  • Class 1: Bob's overview lecture (on slides)
  • Class 2: Dan writing Twelf code interactively; Bob's lecture on LF and adequacy
  • Class 3: Writing a Twelf proof in real-time
  • The lecture notes on the Twelf wiki
  • The homework exercises on the Twelf wiki. Which did you do?
  • Other pages on the Twelf wiki

How could we improve these materials?


3) Course Tools

Do you have suggestions for how we could improve Twelf itself? The Twelf wiki? If you were unable to install Twelf using the pre-built binaries, please say what platform you were using (e.g., PPC Mac) and why.


4) General

Do you have any other feedback about the course?