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:40]
christoph
ws18:fmsoft:tutorials [2019/01/08 21:41] (current)
christoph
Line 44: Line 44:
   * {{:ws18:fmsoft:Monads.fst}}   * {{:ws18:fmsoft:Monads.fst}}
  
-===== Tutorial 11 – 2019-01-08+===== Tutorial 11 – 2019-01-08 =====
  
   * 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/