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.
- Current course information (Fall 1995)
- Further information about the LEGO system
- Lecture notes
- Exercises
Thomas Schreiber