EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

ss19:semprog [2019/02/12 18:41]
tadeusz
ss19:semprog [2019/03/12 15:00] (current)
tadeusz
Line 65: Line 65:
  
  <!--Here is the link for the [[https://www.studon.uni-erlangen.de/univis_2017s.Lecture.21342111|course webpage in StudOn]].-->  <!--Here is the link for the [[https://www.studon.uni-erlangen.de/univis_2017s.Lecture.21342111|course webpage in StudOn]].-->
 +
 +**The lecture will be recorded again this year and the old recording of the obsolete first edition is going to be deleted. The new recording will be only available to the participants of the course from the university network, protected by a password.**
  
 The tool we are going to use throughout the course is [[https://coq.inria.fr/|Coq]]. Ideally, go for  the latest stable release (8.9.0 before the beginning of the semester) or the alpha/beta development version if you're adventurous.  You can install using either: The tool we are going to use throughout the course is [[https://coq.inria.fr/|Coq]]. Ideally, go for  the latest stable release (8.9.0 before the beginning of the semester) or the alpha/beta development version if you're adventurous.  You can install using either: