Home Discussions5 of 9 messages view all » Exercises for the third day By Yves - Jun 7 2007 - 1 author - 0 replies Exercises for the second day By Yves - Jun 7 2007 - 1 author - 0 replies Exercises By Yves - Jun 7 2007 - 1 author - 0 replies View this page "Schedule for the course" By bengt@chalmers.se - May 30 2007 - 3 authors - 4 replies View this page "Suggested reading" By Yves - Apr 12 2007 - 1 author - 0 replies Report this group   XML       Send email to this group: chalmers-cs-semantics-in-coq@googlegroups.com