Post #4503313

Kollege Markus Schlegel hat Ende letzter Woche in unserem Firmenblog funktionale-programmierung.de einen neuen Artikel veröffentlicht: im dritten Teil seiner Artikelserie zum Programmieren mit Z3 dreht sich alles um Liquid Haskell. Den Artikel finden Sie hier: https://funktionale-programmierung.de/2026/05/15/z3-theorembeweiser-3.html Und wem Teil 1 und 2 noch fehlen: sie sind von Teil 3 aus verlinkt.