Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav07_lecture_2 [2007/04/01 17:25]
ghid.maatouk
sav07_lecture_2 [2007/04/03 20:31] (current)
kremena.diatchka
Line 248: Line 248:
  
 What is a formal proof? What is a formal proof?
 +
  
  
Line 308: Line 309:
 \end{equation*} \end{equation*}
  
-Sets and properties ​are interchangable.+Sets and predicates ​are interchangable.
  
 $x \in P$ turns set into predicate. $x \in P$ turns set into predicate.
 
sav07_lecture_2.txt · Last modified: 2007/04/03 20:31 by kremena.diatchka