Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:homework13 [2008/05/23 17:12]
vkuncak removed
sav08:homework13 [2008/05/23 17:14] (current)
vkuncak created
Line 1: Line 1:
-====== ​No homework! ​======+====== ​Homework 13 ======
  
-Prepare for your final project presentation.+Because 13 is an unlucky number, we do not have homework number 13.
  
 
sav08/homework13.txt · Last modified: 2008/05/23 17:14 by vkuncak
 
© EPFL 2018 - Legal notice