Next: LEGO Summerschool 1995
Up: Contents
Previous:
Topics in Type Theory
Computer Aided Formal Reasoning 96-97
Computer Aided Formal Reasoning (CAFR) is being taught at the
University of Edinburgh to Msc and PhD students.
Last updated on 23 October 1997 by
<lego@dcs.ed.ac.uk>