582655: Formal Type Theory (4 cr), autumn 2009 News 2010-05-18 The Spring 2010 Coq project assignment and its sample solution are now available. 2010-04-08 The questions and sample solutions to the March 26th separate exam are now available. 2010-01-10 The results are in. See the final version of the checklist for details of the exercise points. Those who failed, or wish to raise their grade, can