Software

Haskell

Die Software für Haskell findet sich hier.
Eine Kurzübersicht über Haskell gibt's hier.

Prover9/Mace4

Wir werden eventuell auch den automatischen Beweiser Prover9 und den Gegenbeispielsucher Mace4 verwenden.