EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

ws18:fmsoft:tutorials [2019/01/08 21:41]
christoph
ws18:fmsoft:tutorials [2019/02/06 11:46] (current)
christoph
Line 48: Line 48:
   * Our repository: [[https://gitlab.cs.fau.de/siccrauc/fstar-obdds]]   * Our repository: [[https://gitlab.cs.fau.de/siccrauc/fstar-obdds]]
   * Low* tutorial: https://fstarlang.github.io/lowstar/html/   * Low* tutorial: https://fstarlang.github.io/lowstar/html/
 +
 +===== Last Tutorial – 2019-02-05 =====
 +
 +  * Verifast webpage: [[https://people.cs.kuleuven.be/~bart.jacobs/verifast/]]
 +  * Fixed example from the tutorial: {{:ws18:fmsoft:simple.c}}