Next: LEGO Summerschool 1995 Up: Contents Previous: Topics in Type Theory

Computer Aided Formal Reasoning 95-96

Computer Aided Formal Reasoning (CAFR) is being taught at the University of Edinburgh to Msc and PhD students.
  1. Current course information (Fall 1995)
  2. Further information about the LEGO system
  3. Lecture notes
  4. Exercises

Thomas Schreiber