Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching [2014/08/02 20:04] – etanterteaching [2017/06/13 14:49] – [Courses] etanter
Line 11: Line 11:
   * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]]   * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]]
   * [[teaching:cc71y|Programming Languages II (CC71Y)]]   * [[teaching:cc71y|Programming Languages II (CC71Y)]]
 +  * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]