Hets - the Heterogeneous Tool Set

Stabilityexperimental
Safe HaskellSafe

Hybrid

Description

This folder contains the files for HybridCASL basic specs