Hets - the Heterogeneous Tool Set

Stabilityexperimental
Safe HaskellSafe-Inferred

Hybrid

Description

This folder contains the files for HybridCASL basic specs